Enumerating all Solutions for Constraint Satisfaction Problems.
Henning SchnoorIlka SchnoorPublished in: Complexity of Constraints (2006)
Keyphrases
- constraint satisfaction problems
- combinatorial problems
- constraint satisfaction
- solving constraint satisfaction problems
- constraint programming
- backtrack search
- np complete
- configuration problems
- constraint propagation
- finding optimal solutions
- hyper heuristics
- constraint solving
- search space
- graph coloring problems
- dynamic constraint satisfaction problems
- non binary
- constraint networks
- computational problems
- np hard
- soft constraints
- random instances
- sat problem
- decomposition methods
- arc consistency
- product configuration
- constraint problems
- benchmark problems
- optimal solution
- partial constraint satisfaction
- constraint optimization
- lower bound
- special case
- metaheuristic
- backtracking search
- combinatorial optimization
- temporal constraints
- global constraints