Title: Theory and applications of satisfiability testing -- SAT 2006
Subjects: Computer algorithms, Propositional calculus, Congresses, Decision making, Boolean Algebra, Logic, symbolic and mathematical