Systematic Versus Stochastic Constraint Satisfaction.
Eugene C. FreuderRina DechterMatthew L. GinsbergBart SelmanEdward P. K. TsangPublished in: IJCAI (1995)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint propagation
- heuristic search
- russian doll search
- constraint relaxation
- phase transition
- constraint solving
- relaxation labeling
- soft constraints
- arc consistency
- constraint programming
- combinatorial problems
- forward checking
- constrained problems
- probabilistic reasoning
- robust fault detection
- product configuration
- constraint networks
- constraint optimization
- max csp
- constraint problems
- machine learning
- sat solvers
- search strategies
- combinatorial optimization
- metaheuristic
- simulated annealing
- fuzzy logic