Using Constraint Propagation and Domain Reduction for the Generation Phase in Declarative Modeling.
Olivier Le RouxVéronique GaildratRené CaubetPublished in: IV (2001)
Keyphrases
- constraint propagation
- constraint satisfaction problems
- constraint programming
- constraint reasoning
- constraint satisfaction
- temporal constraints
- truth maintenance systems
- constraint solving
- domain independent
- backtracking algorithms
- tree search
- constrained problems
- systematic search
- interval arithmetic
- soft constraints
- quantifier elimination
- arc consistency
- finite domain
- russian doll search
- constraint graph
- path consistency
- optimization problems
- special case
- data model
- search space
- reinforcement learning
- genetic algorithm