Two Short Proofs Concerning Tree-Decompositions.

Patrick Bellenbaum Reinhard Diestel

Published in: Comb. Probab. Comput. (2002)

Keyphrases

tree decompositions
constraint satisfaction problems
tree decomposition
theorem prover
complexity bounds
xml documents
special case
logic programs
decision procedures