Extending the Constraint Propagation of Intervals.
Allen C. WardTomás Lozano-PérezWarren P. SeeringPublished in: IJCAI (1989)
Keyphrases
- constraint propagation
- interval algebra
- constraint reasoning
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- constraint solving
- temporal constraints
- search space
- backtracking algorithms
- tree search
- systematic search
- quantifier elimination
- interval arithmetic
- constraint graph
- path consistency
- interval analysis
- russian doll search
- image sequences
- arc consistency
- traveling salesman problem
- linear programming
- finite domain
- constrained problems
- constraint solver
- constraint logic programming
- temporal reasoning
- soft constraints