Stephan Gocht

According to our database, Stephan Gocht authored at least 21 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

Certified Dominance and Symmetry Breaking for Combinatorial Optimisation.

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

J. Artif. Intell. Res., 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

2022

Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning.

Stephan Gocht

PhD thesis, 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

An Auditable Constraint Programming Solver.

Stephan Gocht, Ciaran McCreesh, Jakob Nordström

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation.

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Certifying CNF Encodings of Pseudo-Boolean Constraints (abstract).

Stephan Gocht, Jakob Nordström, Ruben Martins

Proceedings of the Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, 2021

Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs.

Stephan Gocht, Jakob Nordström

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 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

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Experimental Repository for "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

Dataset, September, 2020

Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions.

Stephan Gocht, Ciaran McCreesh, Jakob Nordström

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems.

Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser, James Trimble

Proceedings of the Principles and Practice of Constraint Programming, 2020

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling.

Mate Soos, Stephan Gocht, Kuldeep S. Meel

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Justifying All Differences Using Pseudo-Boolean Reasoning.

Jan Elffers, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Using Relational Verification for Program Slicing.

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

On Division Versus Saturation in Pseudo-Boolean Solving.

Stephan Gocht, Jakob Nordström, Amir Yehudayoff

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving.

Marc Vinyals, Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks.

Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

SemSlice: Exploiting Relational Verification for Automatic Program Slicing.

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Accelerating SAT Based Planning with Incremental SAT Solving.

Stephan Gocht, Tomás Balyo

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017