Keyphrases
- path consistency
- temporal reasoning
- constraint propagation
- constraint networks
- global consistency
- backtracking algorithms
- constraint reasoning
- arc consistency
- constraint satisfaction
- constraint satisfaction problems
- consistency checking
- topological relations
- interval algebra
- convex constraints
- temporal constraints
- backtracking algorithm
- maximal tractable
- tractable classes
- ord horn
- spatial reasoning
- constraint programming
- object oriented