You are about to access our book library "Satisfiability Problem: Theory and Applications (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE) full version" .