David G. MitchellBooksTheory and Applications of Satisfiability Testing (vol. # 3542)Theory and Applications of Satisfiability TestingAuthor data: Open Library