Marijn Heule
3 papers · 2020–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
๐
Academic Marathon ยท Sprint
๐
Interdisciplinary Bridge ยท Bronze
Top co-authors
Research topics
Keywords
information theory
(1)
combinatorial optimization
(1)
automated reasoning
(1)
formal verification
(1)
mixed integer programming
(1)
approval voting
(1)
safety verification
(1)
sat solver
(1)
distributed system
(1)
inductive invariant
(1)
multiwinner voting
(1)
core stability
(1)
hash function
(1)
paxos protocol
(1)
xorsat filter
(1)