Doubly-Efficient Pseudo-Deterministic Proofs

Michel X. Goemans, Shafi Goldwasser, Dhiraj Holden. Doubly-Efficient Pseudo-Deterministic Proofs. Electronic Colloquium on Computational Complexity (ECCC), 26:135, 2019. [doi]

Abstract

Abstract is missing.