1 – 10 of 13
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2026
-
Mark
Certifying Combinatorial Optimization : A Unified Approach Using Pseudo-Boolean Reasoning
Oertel, Andy LU
(2026)
- Thesis › Doctoral thesis (compilation)
-
Mark
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
Anders, Markus ; Bogaerts, Bart ; Bogø, Benjamin ; Gontier, Arthur ; Koops, Wietze LU
; McCreesh, Ciaran
; Myreen, Magnus O.
; Nordström, Jakob
LU
; Oertel, Andy
LU
and Rebola-Pardo, Adrian
, et al.
(2026)
40th AAAI Conference on Artificial Intelligence, AAAI 2026
p.14140-14148
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2025
-
Mark
Practically feasible proof logging for pseudo-Boolean optimization
Koops, Wietze LU
; Le Berre, Daniel
; Myreen, Magnus O.
; Nordström, Jakob
LU
; Oertel, Andy
LU
; Tan, Yong Kiam
and Vinyals, Marc
(2025)
In Leibniz International Proceedings in Informatics (LIPIcs)
340.
p.1-27
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying combinatorial optimization using pseudo-Boolean reasoning
- Thesis › Licentiate thesis
- 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
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
- 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