Extending the constraint propagation of intervals.
Allen C. WardTomás Lozano-PérezWarren P. SeeringPublished in: Artif. Intell. Eng. Des. Anal. Manuf. (1990)
Keyphrases
- constraint propagation
- constraint reasoning
- interval algebra
- constraint programming
- constraint satisfaction problems
- temporal constraints
- constraint solving
- search space
- constraint satisfaction
- backtracking algorithms
- constraint solver
- quantifier elimination
- finite domain
- constrained problems
- arc consistency
- constraint graph
- systematic search
- path consistency
- interval arithmetic
- interval analysis
- russian doll search
- soft constraints
- lower bound