Hierarchical Constraint Satisfaction Based on Subdefinite Models.
Dmitry UshakovPublished in: Ershov Memorial Conference (2001)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint programming
- heuristic search
- constraint propagation
- combinatorial problems
- neural network
- sat solvers
- arc consistency
- probabilistic reasoning
- robust fault detection
- decision support
- metaheuristic
- qualitative and quantitative
- constraint solving
- constraint relaxation