Title: Theory and Applications of Satisfiability Testing (vol. # 3542)
Subjects: Symbolic and mathematical Logic, Computer science, Electronic data processing, Operating systems (Computers), Artificial intelligence, Computer software, Propositional calculus, Congresses, Boolean Algebra, Computer algorithms, Decision making, Sat (educational test)