Andy Oertel
3 papers · 2023–2026 · 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 ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
Top co-authors
Research topics
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)