Title: Theory and Applications of Satisfiability Testing -- SAT 2015
Subjects: Computer algorithms, Computer software, verification