Directed Tree Decompositions.

Sebastian Kerkhoff Friedrich Martin Schneider

Published in: ICFCA (2014)

Keyphrases

tree decompositions
constraint satisfaction problems
tree decomposition
complexity bounds
special case
constraint satisfaction
database
database systems
lower bound
probabilistic model
first order logic
theorem proving
constraint networks
decomposition method
hypertree decomposition