Special tree-width and the verification of monadic second-order graph pr operties.

Bruno Courcelle

Published in: FSTTCS (2010)

Keyphrases

tree width
tree decomposition
structural properties
constraint networks
higher order
shortest path
conjunctive queries
computationally challenging
parallel processing
decomposition method
exact and approximate
expressive power
branch and bound
bayesian networks
graph theory
datalog programs
special case