An Overview of Disjunctive Constraint Satisfaction.
John T. Maxwell IIIRonald M. KaplanPublished in: IWPT (1989)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint programming
- probabilistic reasoning
- heuristic search
- phase transition
- combinatorial problems
- constraint propagation
- relaxation labeling
- constraint solving
- product configuration
- sat solvers
- constraint relaxation
- arc consistency
- soft constraints
- constraint problems
- robust fault detection
- forward checking
- path consistency
- neural network
- search strategies