Jan Dreier, Nikolas Mählmann, Sebastian Siebertz. First-Order Model Checking on Structurally Sparse Graph Classes. In Barna Saha, Rocco A. Servedio, editors, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, FL, USA, June 20-23, 2023. pages 567-580, ACM, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.