Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction.
Michael SioutisJean-François CondottaPublished in: IJCAI (2017)
Keyphrases
- path consistency
- global consistency
- temporal reasoning
- singleton arc consistency
- constraint networks
- constraint propagation
- constraint reasoning
- arc consistency
- interval algebra
- constraint satisfaction problems
- relational databases
- temporal constraints
- constraint satisfaction
- high level
- logic programs
- consistency checking
- search space
- convex constraints
- backtracking algorithms
- reinforcement learning