First-Order Model Checking on Structurally Sparse Graph Classes

Jan Niclas Dreier, Mählmann, Nikolas, Siebertz, Sebastian
January 2023
PDF bib DOI

Abstract

Full Citation:

Dreier, Jan, Mählmann, Nikolas, Siebertz, Sebastian. First-Order Model Checking on Structurally Sparse Graph Classes. Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, pages 567-580, 2023, Association for Computing Machinery.

Type
Conference Paper
First-Order Model Checking Structural Graph Theory
Jan Niclas Dreier
Jan Niclas Dreier

Jan Niclas Dreier is a Postdoctoral Researcher at the Algorithms and Complexity Group.