Title: Theory and applications of satisfiability testing-- SAT 2010
Subjects: Computer algorithms, Propositional calculus, Congresses, Decision making, Logic design, Computer science, Software engineering, Computer software, Algebra, boolean, Logic, symbolic and mathematical