First-Order Model Checking on Structurally Sparse Graph Classes

Dreier, Jan; Mählmann, Nikolas; Siebertz, Sebastian

doi:10.1145/3564246.3585186

by Jan Dreier, Nikolas Mählmann, Sebastian Siebertz

Reference:

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

Bibtex Entry:

@inproceedings{mcsnd,
author = {Dreier, Jan and M\"{a}hlmann, Nikolas and Siebertz, Sebastian},
title = {First-Order Model Checking on Structurally Sparse Graph Classes},
year = {2023},
isbn = {9781450399135},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {10.1145/3564246.3585186">https://doi.org/10.1145/3564246.3585186},
doi = {10.1145/3564246.3585186},
booktitle = {Proceedings of the 55th Annual ACM Symposium on Theory of Computing, {STOC} 2023},
pages = {567-580},
numpages = {14},
keywords = {First-order model checking, structural graph theory},
location = {Orlando, FL, USA},
series = {STOC 2023}
}