Marijn Heule
Marijn Heule | |
|---|---|
| Born | March 12, 1979 |
| Alma mater | Delft University of Technology |
| Occupation | Associate professor |
| Employer | Carnegie Mellon University |
| Known for | Using SAT solvers to solve mathematical conjectures |
| Website | http://www.cs.cmu.edu/~mheule/ |
Marienus Johannes Hendrikus Heule (born March 12, 1979, at Rijnsburg, The Netherlands) 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.