Marijn Heule

Research Assistant Professor
Dr. Heule's research focuses on solving hard-combinatorial problems in areas such as formal verification, number theory, and extreme combinatorics.

Research

Research Areas: 
Research Interests: 
  • Solving hard-combinatorial problems in areas such as:
    • Formal verification
    • Number theory
    • Extreme combinatorics

Select Publications

Marijn J. H. Heule. May 30, 2018. Computing Small Unit-Distance Graphs with Chromatic Number 5. The University : The Center. Colorado Springs, Colorado. 32 - 50.
Marijn J. H. Heule. September 3, 2018. Brute Trust. Weytingh & Brave. Amsterdam, The Netherlands. 226 - 227.
Marijn J.H. Heule, Oliver Kullmann, Armin Biere. April 5, 2018. Handbook of Parallel Constraint Reasoning (chapter name: Cube-and-Conquer for Satisfiability). Springer, Cham. Cham, Switzerland. 31 - 59.
Marijn J.H. Heule. June 21, 2017. Avoiding triples in arithmetic progression. International Press of Boston. Boston, Massachusetts. 391 - 422.
Marijn J.H. Heule, Oliver Kullmann. August 2017. The Science of Brute Force. ACM.

Awards & Honors

2018 - Best Paper, IJCAR
2017 - Best Paper, HVC
2017 - Best Paper, CADE
2017 - Best Paper, TACA
2016 - Best Paper, SAT
2011 - Gold Medal, SAT
2011 - Gold Medal, SAT
2011 - Best Paper, HVC
2010 - Winner, StaMinA competition
2009 - Best Paper, BCAI