Tree-width and the monadic quantifier hierarchy.
Johann A. MakowskyJulian MariñoPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- tree width
- structural properties
- tree decomposition
- shortest path
- exact and approximate
- constraint networks
- conjunctive queries
- deductive databases
- datalog programs
- branch and bound
- answer set programming
- computationally challenging
- decomposition method
- probabilistic reasoning
- database
- parallel processing
- np complete
- dynamic programming