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