Oertel, Andy

2 publications

AAAI 2024 End-to-End Verification for Subgraph Solving Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan

IJCAI 2023 Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract) Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel