A Reformulation-Based Approach to Explanation in Constraint Satisfaction.
Hadrien CambazardBarry O'SullivanPublished in: SARA (2007)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- relaxation labeling
- phase transition
- heuristic search
- constraint programming
- constraint propagation
- russian doll search
- constraint relaxation
- combinatorial problems
- search strategies
- constraint solving
- constraint problems
- traveling salesman problem
- space complexity
- arc consistency
- orders of magnitude
- state space
- product configuration
- constrained problems
- special case
- search space