Isolde Adler, Noleen Köhler, Pan Peng 0001. On Testability of First-Order Properties in Bounded-Degree Graphs. In Joseph (Seffi) Naor, Niv Buchbinder, editors, Proceedings of the 2022 ACM-SIAM Symposium on Discrete Algorithms, SODA 2022, Virtual Conference / Alexandria, VA, USA, January 9 - 12, 2022. pages 1578-1597, SIAM, 2022. [doi]
Abstract is missing.