The Satisfiability Problem: Algorithms and Analyses (Mathematik fur Anwendungen)