New Look-Ahead Schemes for Constraint Satisfaction.
Kalev KaskRina DechterVibhav GogatePublished in: AI&M (2004)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- backtracking algorithms
- heuristic search
- constraint propagation
- backtrack search
- relaxation labeling
- constraint programming
- russian doll search
- robust fault detection
- constraint relaxation
- product configuration
- combinatorial problems
- arc consistency
- soft constraints
- sat solvers
- phase transition
- constraint solving
- neural network
- constraint problems
- forward checking
- probabilistic reasoning
- special case