Stephan Gocht
10 papers · 2018–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (11)
🧬
Topic Evolution
🔥
Unstoppable · Bronze
💎
Century Club · Bronze
Top co-authors
Research topics
Keywords
cutting plane
(5)
sat solver
(5)
proof logging
(4)
maximum clique
(2)
pseudo-boolean solving
(2)
combinatorial optimization
(2)
conflict-driven clause learning
(2)
subgraph isomorphism
(2)
graph algorithm
(1)
constraint programming
(1)
video game
(1)
division rule
(1)
sat solving
(1)
alldifferent constraint
(1)
dominance breaking
(1)
symmetry breaking
(1)
resolution proof system
(1)
planning domain definition language
(1)
pseudo-boolean reasoning
(1)
proof certification
(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
Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs
AAAI 2021
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning
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