Title: Theory and applications of satisfiability testing--SAT 2008
First published: 2008
Subjects: Computer algorithms, Propositional calculus, Congresses, Decision making, Boolean Algebra, Algebra, boolean, Calculus
LC classification: QA9.3 .S3654 2008