Verifying Groups in Linear Time

Shai Evra, Shay Gadot, Ohad Klein, Ilan Komargodski. Verifying Groups in Linear Time. Electronic Colloquium on Computational Complexity (ECCC), TR23, 2023. [doi]

Abstract

Abstract is missing.