Seol mar théacs é seo: Local consistency and SAT−solvers