Transparent Long Proofs: A First PCP Theorem for NP::R::

Klaus Meer. Transparent Long Proofs: A First PCP Theorem for NP::R::. Foundations of Computational Mathematics, 5(3):231-255, 2005. [doi]

Abstract

Abstract is missing.