Local Consistency and SAT−Solvers - Jeavons, P; Petke, J (2012)