Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction.

Hubie Chen Michal Wrona

Published in: TIME (2012)

Keyphrases

maximal tractable
ord horn
path consistency
interval algebra
point algebra
temporal reasoning
qualitative spatial reasoning
constraint language
qualitative temporal reasoning
temporal constraints
constraint networks
lower bound
np complete
query answering
constraint propagation