Return to Article Details Local Consistency and SAT-Solvers Download Download PDF