أرسل هذا في رسالة قصيرة: Local consistency and SAT−solvers