Stephan Gocht
10 papers
· 2018–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🐣
Hot Topic Early Bird
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(5)
🌈
Renaissance Researcher
(5)
🗺️
Taxonomy Completionist
(11)
🌉
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)