First-order model checking on monadically stable graph classes

DOI10.1109/FOCS61266.2024.00012MaRDI QIDQ7286879zbMATH OpenFDO

Authors Jan Dreier, Ioannis Eleftheriadis, Rose McCarty, Michał Pilipczuk, Szymon Toruńczyk

Publication date 23 June 2026

Full work available at URL https://doi.org/10.1109/FOCS61266.2024.00012

Mathematics Subject Classification ID

Computer science (68-XX)

Cited in

(4)

• Evaluating first-order formulas in structured graphs (invited talk)
• Solving partial dominating set and related problems using twin-width
• Dominating set with quotas: balancing coverage and constraints
• Forbidden induced subgraphs for bounded shrub-depth and the expressive power of MSO

This page was built for publication: First-order model checking on monadically stable graph classes

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