Fast approximate probabilistically checkable proofs

Funda Ergün, Ravi Kumar, Ronitt Rubinfeld. Fast approximate probabilistically checkable proofs. Inf. Comput., 189(2):135-159, 2004. [doi]

Abstract

Abstract is missing.