Distributed tree decomposition of graphs and applications to verification.

Stéphane Grumbach Zhilin Wu

Published in: IPDPS Workshops (2010)

Keyphrases

tree decomposition
series parallel
graph theory
tree width
constraint networks
decomposition method
probabilistic reasoning
branch and bound
distributed systems
parallel processing
tree decompositions
constraint satisfaction problems
databases
search algorithm
general purpose
decomposition methods