Marijn Heule

Marijn Heule
Born (1979-03-12) March 12, 1979 (age 45)
Rijnsburg, The Netherlands
Alma materDelft University of Technology
OccupationAssociate professor
EmployerCarnegie Mellon University
Known forUsing SAT solvers to solve mathematical conjectures
Websitehttp://www.cs.cmu.edu/~mheule/

Marienus Johannes Hendrikus Heule (born March 12, 1979, at Rijnsburg, The Netherlands)[1][2] is a Dutch computer scientist at Carnegie Mellon University who studies SAT solvers. Heule has used these solvers to resolve mathematical conjectures such as the Boolean Pythagorean triples problem, Schur's theorem number 5, and Keller's conjecture in dimension seven.

  1. ^ Calmthout, Martijn van (June 6, 2016). "Bewijs dat nét op 200 laptops past" (PDF). de Volkskrant (in Dutch). p. 23. Archived (PDF) from the original on January 5, 2022. Retrieved May 11, 2021.
  2. ^ Heule, Marijn (August 20, 2019). "Marijn J.H. Heule" (PDF). www.cs.cmu.edu. Retrieved June 15, 2021.