There are 1 book by Marijn Heule on BookOrb. A strong starting point is Theory and Applications of Satisfiability Testing -- SAT 2015 (2015). The bibliography below is in publication order, with series grouped in reading order.
Standalone books
Frequently asked questions
How many books has Marijn Heule written?
BookOrb lists 1 book by Marijn Heule.
Where should I start with Marijn Heule?
A good starting point is Theory and Applications of Satisfiability Testing -- SAT 2015 (2015).
What is the Marijn Heule books in order list?
In publication order: 1. Theory and Applications of Satisfiability Testing -- SAT 2015 (2015).