Văn bản này: Local consistency and SAT−solvers