Davies-Peck, P. (2025, June). On the Locality of the Lovász Local Lemma. Presented at 57th Annual ACM Symposium on Theory of Computing (STOC '25), Prague