First-Order Model Checking on Monadically Stable Graph Classes

Dreier, Jan; Eleftheriadis, Ioannis; Mählmann, Nikolas; McCarty, Rose; Pilipczuk, Michał; Toruńczyk, Szymon

doi:10.1109/FOCS61266.2024.00012

by Jan Dreier, Ioannis Eleftheriadis, Nikolas Mählmann, Rose McCarty, Michał Pilipczuk, Szymon Toruńczyk

Reference:

First-Order Model Checking on Monadically Stable Graph ClassesJan Dreier, Ioannis Eleftheriadis, Nikolas Mählmann, Rose McCarty, Michał Pilipczuk, Szymon Toruńczyk2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), pages 21-30, 2024.

Bibtex Entry:

@INPROCEEDINGS{dreier2023firstorder,
  author={Dreier, Jan and Eleftheriadis, Ioannis and Mählmann, Nikolas and McCarty, Rose and Pilipczuk, Michał and Toruńczyk, Szymon},
  booktitle={2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS)}, 
  title={First-Order Model Checking on Monadically Stable Graph Classes}, 
  year={2024},
  volume={},
  number={},
  pages={21-30},
  doi={10.1109/FOCS61266.2024.00012},
  url={https://arxiv.org/pdf/2311.18740.pdf}
}