Automated ReasoningChristoph Benzmüller, Marijn Heule, Renate A. Schmidt · First published 2024Open the Tome
Theory and Applications of Satisfiability Testing -- SAT 2015Marijn Heule, Sean Weaver · First published 2015Open the Tome
