Proof-labeling schemes: Broadcast, unicast and in between

Boaz Patt-Shamir, Mor Perry. Proof-labeling schemes: Broadcast, unicast and in between. Theoretical Computer Science, 923:179-195, 2022. [doi]

Abstract

Abstract is missing.