Constraint Satisfaction, Logic and Forbidden Patterns.
Florent R. MadelaineIain A. StewartPublished in: SIAM J. Comput. (2007)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- constraint relaxation
- constraint propagation
- russian doll search
- phase transition
- arc consistency
- relaxation labeling
- constraint programming
- probabilistic reasoning
- np complete
- product configuration
- pattern mining
- fuzzy logic
- constraint networks
- automated reasoning
- constraint solving
- sat solvers
- soft constraints
- forward checking
- constraint optimization
- logic programming
- decision support