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

by Sanjeev Arora
Venue:Journal of the ACM
Citations:360 - 28 self