1 – 10 of 73
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and Weisfeiler-Leman
De Rezende, Susanna F. LU
; Fleming, Noah
; Janett, Duri Andrea
; Nordström, Jakob
LU
and Pang, Shuo
(2025)
57th Annual ACM Symposium on Theory of Computing, STOC 2025
In Proceedings of the Annual ACM Symposium on Theory of Computing
p.1371-1382
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2024
-
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
Proof Logging for the Circuit Constraint
(2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14743 LNCS. p.38-55
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
Hoen, Alexander ; Oertel, Andy LU
; Gleixner, Ambros
and Nordström, Jakob
LU
(2024)
21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024
In Lecture Notes in Computer Science
14742.
p.310-328
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified MaxSAT Preprocessing
Ihalainen, Hannes ; Oertel, Andy LU
; Tan, Yong Kiam
; Berg, Jeremias
; Järvisalo, Matti
; Myreen, Magnus O.
and Nordström, Jakob
LU
(2024)
12th International Joint Conference, IJCAR 2024
In Lecture Notes in Computer Science
14739.
p.396-418
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
KRW Composition Theorems via Lifting
Rezende, Susanna F.de LU
; Meir, Or
; Nordström, Jakob
LU
; Pitassi, Toniann
and Robere, Robert
(2024)
In Computational Complexity
33(1).
- Contribution to journal › Article
-
Mark
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds
- Contribution to journal › Article
- 2023
-
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