Andy Oertel
3 papers
· 2023–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(9)
Conferences
AAAI (2)
IJCAI (1)
Top co-authors
Keywords
formal verification
(2)
proof logging
(2)
integer linear programming
(1)
cutting plane
(1)
sat solver
(1)
pseudo-boolean solving
(1)
symmetry breaking
(1)
subgraph isomorphism
(1)
maximum clique
(1)
cnf translation
(1)
proof checker
(1)
combinatorial optimization
(1)
proof checking
(1)
auxiliary variable
(1)