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

by S Arora, S Safra
Venue:In 33rd FOCS