Theory and Applications of Satisfiability Testing - Hoos, Holger H.; Kanade, Takeo; Mitchell, David G.; Kittler, Josef (Springer Berlin / Heidelberg, 2005)