2 citations · 2 across the 6 of their papers we have counts for
1 paper · 1 filter
Irit Dinur, Or Meir
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return…