CMSO-transducing tree-like graph decompositions

Rutger Campbell, Bruno Guillon, Mamadou Moustapha Kanté +2

We give $\mathrm{CMSO}$-transductions that, given a graph $G$, output its modular decomposition, its split decomposition and its bi-join decomposition. This improves results…