Associate Professor, Carnegie Mellon University
Marijn Heule is an Associate Professor at Carnegie Mellon University. His research focuses on solving hard-combinatorial problems in areas such as formal verification, number theory, and extreme combinatorics. Most of his contributions are related to theory and practice of satisfiability (SAT) solving. Marijn has developed award-winning SAT solvers, and his preprocessing techniques are used in state-of-the-art SAT solvers.
Extended Reunion: Satisfiability , Spring 2023Visiting Scientist
Satisfiability: Theory, Practice, and Beyond , Spring 2021Visiting Scientist