11 – 20 of 73
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
(2023) 29th International Conference on Principles and Practice of Constraint Programming, CP 2023
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Core-Guided MaxSAT Solving
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob LU ; Oertel, Andy LU
and Vandesande, Dieter
(2023)
Proceedings of the 29th International Conference on Automated Deduction, CADE-29
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
14132 LNAI.
p.1-22
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
- Contribution to journal › Article
-
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
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
- 2022
-
Mark
An Auditable Constraint Programming Solver
(2022) 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 In Leibniz International Proceedings in Informatics, LIPIcs 235.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
- 2021
-
Mark
The power of negative reasoning
de Rezende, Susanna F. LU
; Lauria, Massimo
; Nordström, Jakob
LU
and Sokolov, Dmitry
LU
(2021)
36th Computational Complexity Conference, CCC 2021
In Leibniz International Proceedings in Informatics, LIPIcs
200.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Proof complexity and SAT solving
(2021) p.233-350
- Chapter in Book/Report/Conference proceeding › Book chapter