Gocht, Stephan

11 publications

IJCAI 2025 Using Planning for Automated Testing of Video Games Tomás Balyo, Roman Barták, Lukás Chrpa, Michal Cervenka, Filip Dvorák, Stephan Gocht, Lukás Lipcák, Viktor Macek, Dominik Rohácek, Josef Ryzí, Martin Suda, Dominik Safránek, Slavomír Svancár, G. Michael Youngblood

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

JAIR 2023 Certified Dominance and Symmetry Breaking for Combinatorial Optimisation Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

AAAI 2022 Certified Symmetry and Dominance Breaking for Combinatorial Optimisation Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

AAAI 2021 Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs Stephan Gocht, Jakob Nordström

AAAI 2021 Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey

AAAI 2020 Justifying All Differences Using Pseudo-Boolean Reasoning Jan Elffers, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

IJCAI 2020 Subgraph Isomorphism Meets Cutting Planes: Solving with Certified Solutions Stephan Gocht, Ciaran McCreesh, Jakob Nordström

IJCAI 2019 On Division Versus Saturation in Pseudo-Boolean Solving Stephan Gocht, Jakob Nordström, Amir Yehudayoff

IJCAI 2018 Seeking Practical CDCL Insights from Theoretical SAT Benchmarks Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon