שליחה במסרון: Local consistency and SAT−solvers