31 – 40 of 476
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
Conneryd, Jonas LU
; De Rezende, Susanna F.
LU
; Nordstrom, Jakob
LU
; Pang, Shuo
and Risse, Kilian
LU
(2023)
64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023
In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
p.1-11
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clique Is Hard on Average for Unary Sherali-Adams
De Rezende, Susanna F. LU
; Potechin, Aaron
and Risse, Kilian
LU
(2023)
64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023
In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
p.12-25
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)
Gocht, Stephan LU ; Martins, Ruben ; Nordström, Jakob LU and Oertel, Andy LU
(2023)
32nd International Joint Conference on Artificial Intelligence, IJCAI 2023
p.6436-6441
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
Boulasikis, Michail LU ; Gruian, Flavius LU
; Callanan, Gareth
LU
and Janneck, Jörn
LU
(2023)
25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023
p.98-103
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2022
-
Mark
Real-Time Rendering of Indirectly Visible Caustics
Moreau, Pierre LU
and Doggett, Michael
LU
(2022)
17th International Conference on Computer Graphics Theory and Applications, GRAPP 2022; Part of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022
1.
p.39-48
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MeerKAT correlator-beamformer : a real-time processing back-end for astronomical observations
Van Der Byl, Andrew ; Smith, James A. ; Martens, Andrew ; Manley, Jason ; Van Balla, Tyrone ; Rust, Alec ; Patel, Amish ; Callanan, Gareth LU
; Isaacson, Adam
and New, Wesley
, et al.
(2022)
In Journal of Astronomical Telescopes, Instruments, and Systems
8(1).
- Contribution to journal › Article
-
Mark
Towards Fully Dynamic Surface Illumination in Real-Time Rendering using Acceleration Data Structures
- Thesis › Doctoral thesis (compilation)
-
Mark
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
(2022)
- Thesis › Doctoral thesis (compilation)
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving
Gocht, Stephan LU ; Martins, Ruben ; Nordström, Jakob LU and Oertel, Andy LU
(2022)
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
In Leibniz International Proceedings in Informatics (LIPIcs)
236.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
(2022) 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 In Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 p.1431-1436
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding