Checking Computations in Polylogarithmic Time

Open Webpage

László Babai, Lance Fortnow, Leonid A. Levin, Mario Szegedy

Published: 1991, Last Modified: 27 Jul 2025STOC 1991EveryoneRevisionsBibTeXCC BY-SA 4.0