Probabilistic checking of proofs: a new characterization of NP (1998)

by S Arora, S Safra
Venue:Journal of the ACM