Probabilistic checking of proofs: A new characterization of NP (1992)

by S Arora, S Safra
Venue:Proc. 33rd Foundations of Computer Science