Distributed Treewidth Computation and Courcelle's Theorem in the CONGEST Model

Benjamin Jauregui, Jason Li, Pedro Montealegre +1

Algorithmic meta-theorems, stating that graph properties expressible in some particular logic can be decided efficiently in graph classes having some specific structural properties…