Decomposing Constraint Networks for Calculating c-Representations.
Marco WilhelmGabriele Kern-IsbernerPublished in: AAAI (2024)
Keyphrases
- constraint networks
- temporal reasoning
- tree decomposition
- constraint satisfaction problems
- temporal constraint networks
- set intersection
- constraint satisfaction
- path consistency
- constraint programming
- constraint optimization
- scene labeling
- backtracking algorithms
- arc consistency
- tree width
- qualitative spatial and temporal reasoning
- interval algebra
- complexity bounds
- temporal constraints
- image sequences
- max csp
- computer vision