Approximate proof-labeling schemes

Keren Censor Hillel, Ami Paz, Mor Perry. Approximate proof-labeling schemes. Theoretical Computer Science, 811:112-124, 2020. [doi]

Abstract

Abstract is missing.