Title: Theory and Applications of Satisfiability Testing SAT 2016
Subjects: Algebra, boolean, Computer algorithms, Decision making