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]

@article{GoemansGH19,
  title = {Doubly-Efficient Pseudo-Deterministic Proofs},
  author = {Michel X. Goemans and Shafi Goldwasser and Dhiraj Holden},
  year = {2019},
  url = {https://eccc.weizmann.ac.il/report/2019/135},
  researchr = {https://researchr.org/publication/GoemansGH19},
  cites = {0},
  citedby = {0},
  journal = {Electronic Colloquium on Computational Complexity (ECCC)},
  volume = {26},
  pages = {135},
}