Andy Oertel

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 13

Top Topics

Maximum Satisfiability

Boolean Optimization

Top Venues

Publications

Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan
End-to-End Verification for Subgraph Solving. AAAI (2024)
Alexander Hoen, Andy Oertel, Ambros M. Gleixner, Jakob Nordström
Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs. CPAIOR (1) (2024)
Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Konstantin Sidorov
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. CP (2024)
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström
Certified MaxSAT Preprocessing. IJCAR (1) (2024)
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. CP (2024)
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström
Certified MaxSAT Preprocessing. CoRR (2024)
Josefran de Oliveira Bastos, Carlos Hoppen, Hanno Lefmann, Andy Oertel, Dionatan Ricardo Schmidt
Graphs with many edge-colorings such that complete graphs are rainbow. Discret. Appl. Math. 333 (2023)
Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). IJCAI (2023)
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande
Certified Core-Guided MaxSAT Solving. CADE (2023)
Olaf Beyersdorff, Armin Biere, Vijay Ganesh, Jakob Nordström, Andy Oertel
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411). Dagstuhl Reports 12 (10) (2022)
Tobias Hofmann, Andy Oertel
Fast ultrametric matrix-vector multiplication. CoRR (2022)
Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel
Certified CNF Translations for Pseudo-Boolean Solving. SAT (2022)
Josefran de Oliveira Bastos, Hanno Lefmann, Andy Oertel, Carlos Hoppen, Dionatan Ricardo Schmidt
are rainbow. LAGOS (2021)