Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sau, Ignasi, Schirrmacher, Nicole, Siebertz, Sebastian, Stamoulis, Giannos, Thilikos, Dimitrios M., Vigny, Alexandre
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Combinatorics 68R10, 05C75, 05C83, 05C85 F.4.1; F.2.2; G.2.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Parameterizing the quantification of CMSO: model checking on minor-closed graph classes
di: Sau, Ignasi, et al.
Pubblicazione: (2024)

Faster parameterized algorithms for modification problems to minor-closed classes
di: Morelle, Laure, et al.
Pubblicazione: (2022)

Graph modification of bounded size to minor-closed classes as fast as vertex deletion
di: Morelle, Laure, et al.
Pubblicazione: (2025)

Finding irrelevant vertices in linear time on bounded-genus graphs
di: Golovach, Petr A., et al.
Pubblicazione: (2019)

Dynamic programming on bipartite tree decompositions
di: Jaffke, Lars, et al.
Pubblicazione: (2023)

Vertex identification to a forest
di: Morelle, Laure, et al.
Pubblicazione: (2024)

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
di: Golovach, Petr A., et al.
Pubblicazione: (2022)

Catching Rats in $H$-minor-free Graphs
di: Gorsky, Maximilian, et al.
Pubblicazione: (2025)

Graph Parameters, Universal Obstructions, and WQO
di: Paul, Christophe, et al.
Pubblicazione: (2023)

A Constant-factor Approximation for Weighted Bond Cover
di: Kim, Eun Jung, et al.
Pubblicazione: (2021)

On Strict Brambles
di: Lardas, Emmanouil, et al.
Pubblicazione: (2022)

An Overview of Universal Obstructions for Graph Parameters
di: Paul, Christophe, et al.
Pubblicazione: (2023)

Excluding a Ladder as an Induced Minor in Graphs Without Induced Stars
di: Choi, Mujin, et al.
Pubblicazione: (2025)

The Local Structure Theorem for Graph Minors with finite index
di: Paul, Christophe, et al.
Pubblicazione: (2025)

Delineating Half-Integrality of the Erdős-Pósa Property for Minors: the Case of Surfaces
di: Paul, Christophe, et al.
Pubblicazione: (2024)

Optimal Bounds for the k-Disjoint Paths Problem
di: Cavallaro, Dario, et al.
Pubblicazione: (2026)

Obstructions to Erdős-Pósa Dualities for Minors
di: Paul, Christophe, et al.
Pubblicazione: (2024)

Excluding Pinched Spheres
di: Morelle, Laure, et al.
Pubblicazione: (2025)

On treewidth and maximum cliques
di: Chudnovsky, Maria, et al.
Pubblicazione: (2024)

Colorful Minors
di: Protopapas, Evangelos, et al.
Pubblicazione: (2025)

Ember: An Extensible Benchmark Suite for Quantum Annealing Embedding Algorithms
di: Macaskill-Smith, Zachary, et al.
Pubblicazione: (2026)

Kernelization dichotomies for hitting minors under structural parameterizations
di: Bougeret, Marin, et al.
Pubblicazione: (2025)

Maximum Weight Independent Set in Graphs with no Long Claws in Quasi-Polynomial Time
di: Gartland, Peter, et al.
Pubblicazione: (2023)

Approximating branchwidth on parametric extensions of planarity
di: Thilikos, Dimitrios M., et al.
Pubblicazione: (2023)

Kernelization Dichotomies for Hitting Subgraphs under Structural Parameterizations
di: Bougeret, Marin, et al.
Pubblicazione: (2024)

The Directed Disjoint Paths Problem with Congestion
di: Bentert, Matthias, et al.
Pubblicazione: (2025)

W-state graphs: Structure and Algorithms
di: Gajjala, Rishikesh, et al.
Pubblicazione: (2026)

Quickly excluding an annotated planar graph
di: Gorsky, Maximilian, et al.
Pubblicazione: (2026)

The price of homogeneity is polynomial
di: Gorsky, Maximilian, et al.
Pubblicazione: (2026)

A Logic-based Algorithmic Meta-Theorem for Treedepth: Single Exponential FPT Time and Polynomial Space
di: Bergougnoux, Benjamin, et al.
Pubblicazione: (2025)

A new density limit for unanimity in majority dynamics on random graphs
di: Kim, Jeong Han, et al.
Pubblicazione: (2025)

On the Relation Between Treewidth, Tree-Independence Number, and Tree-Chromatic Number of Graphs
di: Koutsoutis, Alex, et al.
Pubblicazione: (2025)

Excluding surfaces as minors in graphs
di: Thilikos, Dimitrios M., et al.
Pubblicazione: (2026)

Compact Representation of Semilinear and Terrain-like Graphs
di: Cardinal, Jean, et al.
Pubblicazione: (2025)

Excluding a Forest Induced Minor
di: Bonnet, Édouard, et al.
Pubblicazione: (2025)

Killing a Vortex
di: Thilikos, Dimitrios M., et al.
Pubblicazione: (2022)

Bipartite Turán problem on cographs
di: Zimmermann, Jakob Paul
Pubblicazione: (2026)

Finding Diverse Minimum s-t Cuts
di: de Berg, Mark, et al.
Pubblicazione: (2023)

Algorithmic Applications of Tyshkevich's Graph Decomposition: A Primer and a Toolkit
di: Cheng, Christine T., et al.
Pubblicazione: (2026)

Shortest two disjoint paths in conservative graphs
di: Schlotter, Ildikó
Pubblicazione: (2023)