Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes

Ignasi Sau, Nicole Schirrmacher, Sebastian Siebertz +3

Algorithmic meta-theorems explain the tractability of large classes of computational problems by linking logical expressibility with structural graph properties. While extensions o…