DMCA

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

by Sanjeev Arora , Shmuel Safra
Venue:JOURNAL OF THE ACM
Citations:414 - 26 self