Scholar
Marijn Heule
Google Scholar ID: 5Bu6aSMAAAAJ
Associate Professor of Computer Science, Carnegie Mellon University
Citations & Impact
Citations
5,464
H-index
34
i10-index
91
Publications
20
Co-authors
40
list available
Publications
Resume (English only)
Academic Achievements
- Developed award-winning SAT solvers
- Preprocessing techniques are used in state-of-the-art SAT solvers
- First cube-and-conquer paper won best paper award at HVC 2011
- Constructed and validated a 200 TB proof for the Boolean Pythagorean Triples problem
- Research featured in The New York Times and Quanta Magazine
Research Experience
- Developed the cube-and-conquer parallel SAT solving paradigm, enabling linear speedups on many hard problems
- Designed a new proof format and implemented a fast proof checker for SAT and QBF solvers
- Proof logging in this format has been mandatory in SAT Competitions since 2013
- Editor of the Handbook of Satisfiability
- Associate Editor of the Journal on Satisfiability, Boolean Modeling and Computation
- Co-chair of the SAT 2015 conference in Austin
