Probabilistically Checkable Arguments.

Yael Tauman Kalai, Ran Raz

Browse the full CRYPTO paper archive.