Efficient probabilistically checkable proofs and applications to approximations

Mihir Bellare, Shafi Goldwasser, Carsten Lund, A. Russeli. Efficient probabilistically checkable proofs and applications to approximations. In STOC. pages 294-304, 1993. [doi]

Abstract

Abstract is missing.