21 – 30 of 479
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob LU ; Oertel, Andy LU
; Paxian, Tobias
and Vandesande, Dieter
(2024)
30th International Conference on Principles and Practice of Constraint Programming, CP 2024
In Leibniz International Proceedings in Informatics (LIPIcs)
307.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
Demirović, Emir ; McCreesh, Ciaran ; McIlree, Matthew J. ; Nordström, Jakob LU ; Oertel, Andy LU
and Sidorov, Konstantin
(2024)
30th International Conference on Principles and Practice of Constraint Programming, CP 2024
307.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hardware and Software Generation from Large Actor Machines in Streaming Applications
Callanan, Gareth LU
and Gruian, Flavius
LU
(2024)
39th ACM/SIGAPP Symposium on Applied Computing, SAC '24
p.142-150
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
End-to-End Verification for Subgraph Solving
Gocht, Stephan LU ; McCreesh, Ciaran ; Myreen, Magnus O. ; Nordström, Jakob LU ; Oertel, Andy LU
and Tan, Yong Kiam
(2024)
38th AAAI Conference on Artificial Intelligence, AAAI 2024
In Proceedings of the AAAI Conference on Artificial Intelligence
38.
p.8038-8047
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Packet-Type Aware Scheduling of Moldable Streaming Tasks on Multicore Systems with DVFS
Boulasikis, Michail LU ; Kessler, Christoph ; Gruian, Flavius LU
; Keller, Jorg W.
and Litzinger, Sebastian
(2024)
39th Annual ACM Symposium on Applied Computing, SAC 2024
p.449-451
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Sparse Spatial Shading in Augmented Reality
Olajos, Rikard LU and Doggett, Michael LU
(2024)
19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications
1.
p.293-299
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds
- Contribution to journal › Article
- 2023
-
Mark
Graphs with many edge-colorings such that complete graphs are rainbow
Bastos, Josefran de O. ; Hoppen, Carlos ; Lefmann, Hanno ; Oertel, Andy LU
and Schmidt, Dionatan R.
(2023)
In Discrete Applied Mathematics
333.
p.151-164
- Contribution to journal › Article
-
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
-
Mark
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
- Contribution to journal › Article