Enviar aquest missatge de text: Local consistency and SAT−solvers