Keyphrases
- constraint networks
- temporal reasoning
- tree decomposition
- constraint satisfaction problems
- set intersection
- temporal constraint networks
- constraint satisfaction
- arc consistency
- path consistency
- tree width
- constraint programming
- backtracking algorithms
- complexity bounds
- max csp
- scene labeling
- backtracking algorithm
- constraint optimization
- search space
- constraint propagation
- qualitative spatial and temporal reasoning