pith. sign in

Extended MSO model checking via small vertex integrity

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it

fields

cs.DS 2

years

2026 1 2025 1

verdicts

UNVERDICTED 2

representative citing papers

Fair Vertex Problems Parameterized by Cluster Vertex Deletion

cs.DS · 2025-02-03 · unverdicted · novelty 7.0

Fair MSO1 problems are W[1]-hard parameterized by cluster vertex deletion in general, but admit FPT algorithms under a sufficient condition that includes fair feedback vertex set, vertex cover, dominating set, and odd cycle transversal.

citing papers explorer

Showing 2 of 2 citing papers.

  • Computing Twin-Width via Treedepth and Vertex Integrity cs.DS · 2026-06-18 · unverdicted · none · ref 19

    Approximating twin-width is FPT parameterized by treedepth via oriented twin-width, and exact twin-width computation is FPT parameterized by vertex integrity.

  • Fair Vertex Problems Parameterized by Cluster Vertex Deletion cs.DS · 2025-02-03 · unverdicted · none · ref 6

    Fair MSO1 problems are W[1]-hard parameterized by cluster vertex deletion in general, but admit FPT algorithms under a sufficient condition that includes fair feedback vertex set, vertex cover, dominating set, and odd cycle transversal.