Checking Computations in Polylogarithmic Time

Lszl Babai, Lance Fortnow, Leonid A. Levin, Mario Szegedy

Browse the full STOC paper archive.