Marijn Heule, Sean Weaver Theory and Applications of Satisfiability Testing -- SAT 2015 - Springer 2015 - Lecture Notes in Computer Science . ISBN: 9783319243184 Subjects--Index Terms: Theory of Computation; Artificial Intelligence (incl. Robotics); Mathematics of Computing