Composition Operators for Constraint Propagation: An Application to Choco.
Laurent GranvilliersÉric MonfroyPublished in: CP (2001)
Keyphrases
- constraint propagation
- constraint reasoning
- constraint programming
- constraint satisfaction problems
- constraint solving
- constraint satisfaction
- temporal constraints
- tree search
- interval arithmetic
- arc consistency
- search space
- backtracking algorithms
- soft constraints
- constraint solver
- finite domain
- systematic search
- interval analysis
- linear programming
- constraint graph
- simulated annealing
- evolutionary algorithm
- quantifier elimination
- database