A CSP Solver Focusing on fac Variables.
Éric GrégoireJean-Marie LagniezBertrand MazurePublished in: CP (2011)
Keyphrases
- constraint satisfaction problems
- finite domain
- constraint solver
- constraint problems
- constraint solving
- constraint programming
- constraint propagation
- clause learning
- tree decomposition
- constraint satisfaction
- variable selection
- hard constraints
- decomposition methods
- constraint solvers
- constraint graph
- boolean formula
- computational complexity
- tree patterns
- arc consistency
- input variables
- search strategies
- np complete