Counting-Based Look-Ahead Schemes for Constraint Satisfaction.
Kalev KaskRina DechterVibhav GogatePublished in: CP (2004)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- backtracking algorithms
- heuristic search
- backtrack search
- constraint propagation
- constraint programming
- arc consistency
- russian doll search
- relaxation labeling
- product configuration
- probabilistic reasoning
- phase transition
- robust fault detection
- combinatorial problems
- constraint relaxation
- constraint networks
- forward checking
- constraint optimization
- sat solvers
- search strategies