Marijn Heule
3 papers
· 2020–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(6)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
AAAI (2)
NSDI (1)
Top co-authors
Keywords
information theory
(1)
combinatorial optimization
(1)
automated reasoning
(1)
formal verification
(1)
multi-winner voting
(1)
approval voting
(1)
safety verification
(1)
sat solver
(1)
distributed system
(1)
inductive invariant
(1)
mixed-integer programming
(1)
core stability
(1)
hash function
(1)
paxos protocol
(1)
xorsat filter
(1)