Verifying Groups in Linear Time

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

Abstract is missing.