Login / Signup
Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn Class.
Massimo Bono
Alfonso Emilio Gerevini
Published in:
CP (2018)
Keyphrases
</>
temporal constraints
consistency checking
temporal reasoning
path consistency
ord horn
simple temporal
constraint propagation
incremental algorithms
database
temporal information
point algebra
relational databases
np hard
space complexity
interval algebra