On supergraphs satisfying CMSO properties

DOI10.4230/LIPICS.CSL.2017.33MaRDI QIDQ5111201zbMATH OpenFDO

Authors Mateus de Oliveira Oliveira

Publication date 26 May 2020

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2017.33

zbMATH Keywords

algorithmic metatheoremsbidimensionalityCMSO-logicgraph completion

Mathematics Subject Classification ID

Higher-order logic (03B16) Logic in computer science (03B70) Planar graphs; geometric and topological aspects of graph theory (05C10) Graph algorithms (graph-theoretic aspects) (05C85) Analysis of algorithms and problem complexity (68Q25) Parameterized complexity, tractability and kernelization (68Q27)

Recommendations

• Reducing CMSO model checking to highly connected graphs
• Large induced subgraphs via triangulations and CMSO
• Large Induced Subgraphs via Triangulations and CMSO
• Algorithmic meta-theorems for restrictions of treewidth
• Algorithmic meta-theorems for restrictions of treewidth

Cited in

(4)

• Supergraphs and the cubic Leigh-Strassler model
• Reducing CMSO model checking to highly connected graphs
• A strongly-uniform slicewise polynomial-time algorithm for the embedded planar diameter improvement problem
• On supergraphs satisfying CMSO properties

This page was built for publication: On supergraphs satisfying CMSO properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111201)