Efficient probabilistic checkable proofs and applications to approximation

Mihir Bellare, Shafi Goldwasser, Carsten Lund, Alexander Russell. Efficient probabilistic checkable proofs and applications to approximation. In STOC. pages 820, 1994. [doi]

Abstract

Abstract is missing.