This site is supported by donations to The OEIS Foundation.

User:Marijn Heule

From OeisWiki
Jump to: navigation, search

Marijn Heule is a Research Assistant Professor at the University of Texas at Austin and received his PhD at Delft University of Technology (2008). His contributions to SAT solving have enabled him and others to solve hard problems in formal verification and mathematics. He has developed award-winning SAT solvers and his preprocessing and proof producing techniques are used in many state-of-the-art solvers.