no code implementations • 6 May 2022 • Ian Ball, Matt O. Jackson, Deniz Kattwinkel
The proof of their main theorem uses a different permutation-based definition, implicitly claiming that the permutation-version implies the bound-based version.
