Stephan Gocht
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
8
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCAI | Using Planning for Automated Testing of Video Games. | Toms Balyo, Roman Bartk, Luks Chrpa, Michal Cervenka, Filip Dvork, Stephan Gocht, Luks Lipck, Viktor Macek, Dominik Rohcek, Josef Ryz, Martin Suda, Dominik Safrnek, Slavomr Svancr, G. Michael Youngblood |
| 2024 | AAAI | End-to-End Verification for Subgraph Solving. | Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan |
| 2024 | KR | Planning Domain Model Acquisition from State Traces without Action Parameters. | Toms Balyo, Martin Suda, Luks Chrpa, Dominik Safrnek, Stephan Gocht, Filip Dvork, Roman Bartk, G. Michael Youngblood |
| 2023 | IJCAI | Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). | Stephan Gocht, Ruben Martins, Jakob Nordstrm, Andy Oertel |
| 2022 | AAAI | Certified Symmetry and Dominance Breaking for Combinatorial Optimisation. | Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordstrm |
| 2022 | CP | An Auditable Constraint Programming Solver. | Stephan Gocht, Ciaran McCreesh, Jakob Nordstrm |
| 2022 | SAT | Certified CNF Translations for Pseudo-Boolean Solving. | Stephan Gocht, Ruben Martins, Jakob Nordstrm, Andy Oertel |
| 2021 | AAAI | Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. | Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordstrm, Peter J. Stuckey |
| 2021 | AAAI | Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs. | Stephan Gocht, Jakob Nordstrm |
| 2020 | AAAI | Justifying All Differences Using Pseudo-Boolean Reasoning. | Jan Elffers, Stephan Gocht, Ciaran McCreesh, Jakob Nordstrm |
| 2020 | CAV | Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling. | Mate Soos, Stephan Gocht, Kuldeep S. Meel |
| 2020 | CP | Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems. | Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordstrm, Patrick Prosser, James Trimble |
| 2020 | IJCAI | Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions. | Stephan Gocht, Ciaran McCreesh, Jakob Nordstrm |
| 2019 | IJCAI | On Division Versus Saturation in Pseudo-Boolean Solving. | Stephan Gocht, Jakob Nordstrm, Amir Yehudayoff |
| 2019 | SEFM | Using Relational Verification for Program Slicing. | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
| 2018 | IJCAI | Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. | Jan Elffers, Jess Girldez-Cru, Stephan Gocht, Jakob Nordstrm, Laurent Simon |
| 2018 | SAT | In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving. | Marc Vinyals, Jan Elffers, Jess Girldez-Cru, Stephan Gocht, Jakob Nordstrm |
| 2017 | IFM | SemSlice: Exploiting Relational Verification for Automatic Program Slicing. | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |