Proof vs. Truth in Computational Complexity

Boaz Barak. Proof vs. Truth in Computational Complexity. Electronic Colloquium on Computational Complexity (ECCC), 19:120, 2012. [doi]

@article{Barak12-0,
  title = {Proof vs. Truth in Computational Complexity},
  author = {Boaz Barak},
  year = {2012},
  url = {http://eccc.hpi-web.de/report/2012/120},
  researchr = {https://researchr.org/publication/Barak12-0},
  cites = {0},
  citedby = {0},
  journal = {Electronic Colloquium on Computational Complexity (ECCC)},
  volume = {19},
  pages = {120},
}