Stephan Gocht

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks

Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht et al. · 2018 · 22 citations · Full text

Engineering, Cdcl Performance, Verification +16

Justifying All Differences Using Pseudo-Boolean Reasoning

Jan Elffers, Stephan Gocht, Ciaran McCreesh et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 17 citations · Full text

Applied Logic, Engineering, Verification +18

Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs

Stephan Gocht, Jakob Nordstr”öm · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 17 citations · Full text

Mathematical Programming, Artificial Intelligence, Engineering +17

Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning

Jo Devriendt, Stephan Gocht, Emir Demirović et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 15 citations · Full text

Artificial Intelligence, Mathematical Programming, Large-scale Global Optimization +26

Accelerating SAT Based Planning with Incremental SAT Solving

Stephan Gocht, Tomáš Balyo · Proceedings of the International Conference on Automated Planning and Scheduling · 2017 · 14 citations · Full text

Artificial Intelligence, Engineering, Computational Complexity +16