Adaptive Parallelization for Constraint Satisfaction Search.
Xi YunSusan L. EpsteinPublished in: SOCS (2012)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- search strategies
- search space
- forward checking
- heuristic search
- phase transition
- constraint solver
- backtrack search
- constraint relaxation
- combinatorial problems
- constraint programming
- constraint propagation
- probabilistic reasoning
- search algorithm
- relaxation labeling
- russian doll search
- search problems
- constraint solving
- search strategy
- product configuration
- soft constraints
- constraint optimization
- neural network
- backtracking algorithms
- max csp
- limited discrepancy search
- robust fault detection