The following pages link to Local consistency and SAT-solvers (Q2887073):
Displaying 10 items.
- Tractability in constraint satisfaction problems: a survey (Q271997) (← links)
- Representing and solving finite-domain constraint problems using systems of polynomials (Q360253) (← links)
- Local consistency for extended CSPs (Q1035707) (← links)
- Boosting complete techniques thanks to local search methods (Q1267775) (← links)
- (Q3112595) (← links)
- Constraint Satisfaction Problems Solvable by Local Consistency Methods (Q3189638) (← links)
- The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems (Q5283239) (← links)
- Theory and Applications of Satisfiability Testing (Q5325869) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897213) (← links)
- Graph-Theoretic Concepts in Computer Science (Q5897564) (← links)