On Testability of First-Order Properties in Bounded-Degree Graphs

Isolde Adler, Noleen Köhler, Pan Peng 0001. On Testability of First-Order Properties in Bounded-Degree Graphs. In Dániel Marx, editor, Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021, Virtual Conference, January 10 - 13, 2021. pages 1578-1597, SIAM, 2021. [doi]

Abstract

Abstract is missing.