A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations.
Philippe BalbianiJean-François CondottaLuis Fariñas del CerroPublished in: EPIA (1999)
Keyphrases
- constraint propagation
- ord horn
- path consistency
- interval algebra
- point algebra
- maximal tractable
- tractable classes
- constraint reasoning
- temporal constraints
- qualitative temporal reasoning
- temporal reasoning
- constraint satisfaction problems
- backtracking algorithms
- constraint programming
- arc consistency
- constraint satisfaction
- constraint solving
- systematic search
- interval arithmetic
- constraint networks
- search space
- constraint solver
- finite domain
- qualitative spatial reasoning
- interval analysis
- quantifier elimination
- tree search
- reasoning problems
- constrained problems
- databases
- constraint graph
- temporal relations
- linear programming
- special case
- computational complexity