Theory and Applications of Satisfiability Testing -- SAT 2015 - Marijn Heule; Sean Weaver (Springer, 2015)
Keywords: Computer Science; Theory of Computation