Andy Oertel

According to our database, Andy Oertel authored at least 13 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2024

Certified MaxSAT Preprocessing.

Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström

CoRR, 2024

Certified MaxSAT Preprocessing.

Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs.

Alexander Hoen, Andy Oertel, Ambros M. Gleixner, Jakob Nordström

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms.

Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Konstantin Sidorov

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability.

Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

End-to-End Verification for Subgraph Solving.

Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Graphs with many edge-colorings such that complete graphs are rainbow.

Josefran de Oliveira Bastos, Carlos Hoppen, Hanno Lefmann, Andy Oertel, Dionatan Ricardo Schmidt

Discret. Appl. Math., July, 2023

Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract).

Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Certified Core-Guided MaxSAT Solving.

Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411).

Olaf Beyersdorff, Armin Biere, Vijay Ganesh, Jakob Nordström, Andy Oertel

Dagstuhl Reports, October, 2022

Fast ultrametric matrix-vector multiplication.

Tobias Hofmann, Andy Oertel

CoRR, 2022

Certified CNF Translations for Pseudo-Boolean Solving.

Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021

Maximum number of r-edge-colorings such that all copies of K_k are rainbow.

Josefran de Oliveira Bastos, Hanno Lefmann, Andy Oertel, Carlos Hoppen, Dionatan Ricardo Schmidt

Proceedings of the XI Latin and American Algorithms, Graphs and Optimization Symposium, 2021