Submodular Constraints and Planar Constraint Networks: New Results.
T. K. Satish KumarLiron CohenSven KoenigPublished in: SARA (2013)
Keyphrases
- constraint networks
- temporal reasoning
- constraint satisfaction
- constraint language
- path consistency
- constraint satisfaction problems
- constraint programming
- tree decomposition
- temporal constraint networks
- arc consistency
- set intersection
- backtracking algorithm
- tree width
- qualitative spatial and temporal reasoning
- scene labeling
- constraint optimization
- complexity bounds
- max csp
- constraint graph
- series parallel
- constraint propagation
- backtracking algorithms
- interval algebra
- temporal constraints
- objective function