Keyphrases
- constraint propagation
- constraint reasoning
- temporal constraints
- temporal reasoning
- constraint satisfaction problems
- temporal information
- arc consistency
- constraint solving
- interval algebra
- constraint programming
- interval arithmetic
- constraint solver
- tree search
- backtracking algorithms
- soft constraints
- constrained problems
- constraint satisfaction
- systematic search
- path consistency
- interval analysis
- quantifier elimination
- databases
- constraint logic programming
- temporal data
- linear programming
- combinatorial problems
- finite domain
- constraint graph
- np complete
- search algorithm