Short PCPPs verifiable in polylogarithmic time with ::::O::::(1) queries

Thilo Mie. Short PCPPs verifiable in polylogarithmic time with ::::O::::(1) queries. Annals of Mathematics and Artificial Intelligence, 56(3-4):313-338, 2009. [doi]

Abstract

Abstract is missing.