no code implementations • 6 Sep 2019 • Boi Faltings, Martin Charles Golumbic
Partitioning a graph using graph separators, and particularly clique separators, are well-known techniques to decompose a graph into smaller units which can be treated independently.