Probabilistic Checking of Proofs; A New Characterization of NP

Sanjeev Arora, Shmuel Safra

Browse the full FOCS paper archive.