Marijn Heule
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.
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/ |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.