Title: Theory and applications of satisfiability testing
Subjects: Computer algorithms, Propositional calculus, Congresses, Decision making