1 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Matthew Anderson, Anuj Dawar
We study properties of relational structures such as graphs that are decided by families of Boolean circuits. Circuits that decide such properties are necessarily invariant to perm…