books.google.com - The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms, and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists,...http://books.google.com/books/about/Satisfiability_Problem.html?id=_GOVQRL50kcC&q=applied&utm_source=gb-gplus-shareSatisfiability Problem