Title: Theory and applications of satisfiability testing
First published: 2007
Subjects: Congresses, Computer algorithms, Propositional calculus, Decision making, Calculus, Algebra, boolean, Boolean Algebra