Probabilistically Checkable Proofs Over the Reals

Klaus Meer. Probabilistically Checkable Proofs Over the Reals. Electronic Notes in Theoretical Computer Science, 123:165-177, 2005. [doi]

Abstract

Abstract is missing.