Publication:5111201

DOI10.4230/LIPIcs.CSL.2017.33zbMath1440.68113MaRDI QIDQ5111201

Mateus de Oliveira Oliveira

Publication date: 26 May 2020

zbMATH Keywords

algorithmic metatheorems; bidimensionality; graph completion; CMSO-logic

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

05C10: Planar graphs; geometric and topological aspects of graph theory

03B70: Logic in computer science

05C85: Graph algorithms (graph-theoretic aspects)

03B16: Higher-order logic

68Q27: Parameterized complexity, tractability and kernelization