Reduction operations for constraint satisfaction.
Robert M. HaralickLarry S. DavisAzriel RosenfeldDavid L. MilgramPublished in: Inf. Sci. (1978)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- relaxation labeling
- constraint propagation
- constraint programming
- russian doll search
- constraint relaxation
- heuristic search
- arc consistency
- constraint solving
- search strategies
- phase transition
- probabilistic reasoning
- soft constraints
- backtracking algorithms
- np complete
- sat solvers
- search space