Efficient probabilistic checkable proofs and applications to approximation.

Mihir Bellare, Shafi Goldwasser, Carsten Lund, Alexander Russell

Browse the full STOC paper archive.