Probabilistic Checkable Proofs: A New Characterization of NP (1998)

by S Arora, S Safra
Venue:Preliminary version in 33rd IEEE Symposium on Foundations of Computer Science