Efficient probabilistically checkable proofs and applications to approximations.

Mihir Bellare, Shafi Goldwasser, Carsten Lund, Alexander Russell

Browse the full STOC paper archive.