On Testability of First-Order Properties in Bounded-Degree Graphs and Connections to Proximity-Oblivious Testing

Adler, IsoldeIsoldeAdler0000-0002-9667-9841Köhler, NoleenNoleenKöhlerPeng, PanPanPeng2024-08-052024-08-0520241095-7111https://fis.uni-bamberg.de/handle/uniba/97085engOn Testability of First-Order Properties in Bounded-Degree Graphs and Connections to Proximity-Oblivious Testingarticle10.1137/23M1556253