Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems.

Published in: MFCS (1) (2014)

Keyphrases

ord horn
maximal tractable
path consistency
temporal reasoning
np complete
point algebra
constraint satisfaction
qualitative temporal reasoning
constraint networks
programming language
qualitative spatial reasoning