Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs.
Sathiamoorthy SubbarayanHenrik Reif AndersenPublished in: IJCAI (2007)
Keyphrases
- hypertree decomposition
- constraint satisfaction
- decomposition methods
- database theory
- constraint satisfaction problems
- search algorithm
- tree decomposition
- conjunctive queries
- decomposition method
- search space
- machine learning
- upper bound
- special case
- connected components
- constraint programming
- search tree
- constraint propagation
- lower bound