Constraint Satisfaction in Prolog: Complexity and Theory-Based Heuristics.
Bernard A. NadelPublished in: Inf. Sci. (1995)
Keyphrases
- constraint satisfaction
- heuristic search
- constraint satisfaction problems
- backtrack search
- constraint relaxation
- combinatorial problems
- russian doll search
- relaxation labeling
- search strategies
- search algorithm
- constraint optimization
- soft constraints
- constraint programming
- arc consistency
- phase transition
- constraint networks
- constraint propagation
- probabilistic reasoning
- worst case
- product configuration
- expert systems
- robust fault detection
- neural network
- decision support
- knowledge representation
- constraint problems
- search space
- reinforcement learning
- knowledge base