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