Keyphrases
- tractable classes
- constraint satisfaction problems
- reasoning problems
- path consistency
- structural properties
- bounded treewidth
- constraint satisfaction
- temporal reasoning
- constraint propagation
- temporal constraints
- decision procedures
- arc consistency
- constraint programming
- np complete
- search space
- variable elimination
- reasoning tasks
- description logics
- np hard