Login / Signup
Syntactically Characterizing Local-to-Global Consistency in ORD-Horn.
Michal Wrona
Published in:
CP (2012)
Keyphrases
</>
global consistency
path consistency
ord horn
temporal reasoning
constraint networks
globally consistent
constraint propagation
convex constraints
arc consistency
constraint satisfaction problems
consistency checking
temporal constraints
constraint satisfaction
interval algebra
maximal tractable