Title: Theory and Applications of Satisfiability Testing  SAT 2009
            
                Lecture Notes in Computer Science
Subjects: Computer science, Propositional calculus, Congresses, Decision making, Computer algorithms, Boolean Algebra, Logic, symbolic and mathematical, Algebra, boolean