Markus Kirchweger
3 papers
· 2023–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(11)
Conferences
AAAI (2)
IJCAI (1)
Top co-authors
Keywords
symmetry breaking
(2)
satisfiability solving
(1)
graph coloring
(1)
combinatorial search
(1)
graph isomorphism
(1)
sat solver
(1)
sat solving
(1)
quantified boolean formula
(1)
planar graph
(1)
co-np property
(1)
graph enumeration
(1)
sat modulo symmetries
(1)
combinatorial optimization
(1)
list coloring
(1)