Pseudo-Deterministic Proofs

Shafi Goldwasser, Ofer Grossman, Dhiraj Holden. Pseudo-Deterministic Proofs. Electronic Colloquium on Computational Complexity (ECCC), 24:105, 2017. [doi]

Abstract

Abstract is missing.