Home › Authors › Marijn Heule 👤 Marijn Heule 1 book Books by Marijn Heule Theory and Applications of Sat Theory and Applications of Satisfiability Testing -- SAT 2015 2015