Copertina

Parameterizing the quantification of CMSO: model checking on minor-closed graph classes

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sau, Ignasi, Stamoulis, Giannos, Thilikos, Dimitrios M.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Data Structures and Algorithms 5C85, 68R10, 05C75, 05C83, 05C75, 05C69 G.2.2; F.2.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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)

Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes
di: Sau, Ignasi, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

Colorful Minors
di: Protopapas, Evangelos, 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)

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

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

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

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

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

Prime vertex-minors of a prime graph
di: Kim, Donggyu, et al.
Pubblicazione: (2022)

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

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

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

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

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

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

Unavoidable induced subgraphs in graphs with complete bipartite induced minors
di: Chudnovsky, Maria, et al.
Pubblicazione: (2024)

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

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

Polynomial Bounds for the Graph Minor Structure Theorem
di: Gorsky, Maximilian, et al.
Pubblicazione: (2025)

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

(Even hole, triangle)-free graphs revisited
di: Martins, Beatriz, et al.
Pubblicazione: (2026)

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

Excluding an induced wheel minor in graphs without large induced stars
di: Choi, Mujin, et al.
Pubblicazione: (2025)

Identification to Subclasses of Chordal Graphs
di: Golovach, Petr A., 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)

On non-planar, cycle-conformal graphs
di: Gorsky, Maximilian, et al.
Pubblicazione: (2026)

Tree-independence number VI. Thetas and pyramids
di: Chudnovsky, Maria, et al.
Pubblicazione: (2025)

Graphs with core(G) = nucleus(G)
di: Levit, Vadim E., et al.
Pubblicazione: (2026)

Notes on embedding trees in graphs with O(|T|)-sized covers
di: Pokrovskiy, Alexey
Pubblicazione: (2024)