2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Isolde Adler, Noleen Köhler, Pan Peng
We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree graph and relational structure models. We show that any FO property that…