Mihir Bellare, Shafi Goldwasser, Carsten Lund, Alexander Russell. Efficient probabilistic checkable proofs and applications to approximation. In STOC. pages 820, 1994. [doi]
No references recorded for this publication.
No citations of this publication recorded.