Refining a Tree-Decomposition which Distinguishes Tangles.

Published in: SIAM J. Discret. Math. (2017)

Keyphrases

tree decomposition
tree width
constraint networks
decomposition method
probabilistic reasoning
parallel processing
graph theory
branch and bound
answer set programming
series parallel
tree decompositions
constraint satisfaction problems
decomposition methods
general purpose
programming language
temporal reasoning