Merging Constraint Satisfaction Subproblems to Avoid Redundant Search.
Javier LarrosaPublished in: IJCAI (1) (1997)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- search space
- russian doll search
- distributed constraint satisfaction
- search strategies
- search algorithm
- constraint programming
- forward checking
- heuristic search
- relaxation labeling
- constraint propagation
- constraint solver
- phase transition
- constraint optimization
- probabilistic reasoning
- constraint relaxation
- backtracking algorithms
- search problems
- backtrack search
- constraint solving
- robust fault detection
- soft constraints
- decision support
- combinatorial problems
- search methods
- np hard
- linear programming