Shai Evra, Shay Gadot, Ohad Klein, Ilan Komargodski. Verifying Groups in Linear Time. In 65th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2024, Chicago, IL, USA, October 27-30, 2024. pages 2131-2147, IEEE, 2024. [doi]
Abstract is missing.