Carsten Sinz, Uwe Egly Theory and Applications of Satisfiability Testing � SAT 2014 - Springer 2014 - Lecture Notes in Computer Science . ISBN: 9783319092843 Subjects--Index Terms: Theory of Computation; Artificial Intelligence (incl. Robotics); Mathematics of Computing