Stephan Gocht
10 papers · 2018–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🏃 Academic Marathon (7) 🐝 Cross-Pollinator (5)
🌉
Interdisciplinary Bridge
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(7)
🧬
Topic Evolution
🏆
Keyword Champion
(5)
💎
Century Club
(10)
🔥
Unstoppable
(8)
Conferences
AAAI (5)
IJCAI (5)
Top co-authors
Keywords
cutting plane
(5)
sat solver
(5)
proof logging
(4)
combinatorial optimization
(2)
pseudo-boolean solving
(2)
conflict-driven clause learning
(2)
subgraph isomorphism
(2)
maximum clique
(2)
automated reasoning
(1)
boolean satisfiability
(1)
graph algorithm
(1)
constraint programming
(1)
video game
(1)
proof checking
(1)
core-guided search
(1)
division rule
(1)
sat solving
(1)
dominance breaking
(1)
symmetry breaking
(1)
pseudo-boolean proof
(1)
Papers
Using Planning for Automated Testing of Video Games
IJCAI 2025
End-to-End Verification for Subgraph Solving
AAAI 2024
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract).
IJCAI 2023
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
AAAI 2022
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning
AAAI 2021
Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs
AAAI 2021
Justifying All Differences Using Pseudo-Boolean Reasoning
AAAI 2020
Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions
IJCAI 2020
On Division Versus Saturation in Pseudo-Boolean Solving
IJCAI 2019
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
IJCAI 2018