Keyphrases
- path consistency
- constraint propagation
- constraint logic programming
- temporal reasoning
- constraint programming
- constraint networks
- arc consistency
- global consistency
- constraint solving
- constraint satisfaction problems
- constraint reasoning
- consistency checking
- constraint satisfaction
- constraint solver
- topological relations
- temporal constraints
- backtracking algorithm
- constraint graph
- temporal information
- interval algebra
- convex constraints
- qualitative spatial reasoning
- spatial reasoning
- maximal tractable
- logic programming
- tractable classes
- qualitative and quantitative
- np complete