Probabilistic Checking of Proofs: A new characterization of NP (1992)

by S Arora, S Safra
Venue:In Proc. 33rd IEEE Symp. on Foundations of Computer Science