Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning.
Weiming LiuSanjiang LiPublished in: CP (2012)
Keyphrases
- qualitative spatial and temporal reasoning
- constraint networks
- backtracking algorithm
- constraint satisfaction problems
- temporal reasoning
- answer set programming
- tree decomposition
- constraint satisfaction
- constraint language
- path consistency
- interval algebra
- constraint programming
- arc consistency
- combinatorial optimization
- point algebra
- temporal constraints
- constraint propagation
- finite domain
- low level