Declarative Modelling of Constraint Propagation Strategies.
Laurent GranvilliersÉric MonfroyPublished in: ADVIS (2000)
Keyphrases
- constraint propagation
- constraint reasoning
- constraint satisfaction problems
- constraint programming
- truth maintenance systems
- constraint solving
- constraint satisfaction
- temporal constraints
- quantifier elimination
- russian doll search
- search space
- constraint solver
- interval arithmetic
- systematic search
- finite domain
- constraint graph
- backtracking algorithms
- constrained problems
- database
- high level
- tree search
- soft constraints
- interval analysis
- object oriented
- temporal constraint satisfaction problems