Incorrect Lower Bounds for Path Consistency and More.
T. K. Satish KumarLiron CohenSven KoenigPublished in: SARA (2013)
Keyphrases
- path consistency
- lower bound
- temporal reasoning
- upper bound
- constraint propagation
- constraint networks
- global consistency
- branch and bound
- branch and bound algorithm
- constraint satisfaction problems
- objective function
- constraint satisfaction
- constraint reasoning
- arc consistency
- consistency checking
- interval algebra
- convex constraints
- lower and upper bounds
- topological relations
- worst case
- np hard
- optimal solution
- min sum
- tractable classes
- computer vision
- ord horn
- backtracking algorithm
- reasoning tasks
- vc dimension
- image classification
- search space
- knowledge base