Truth vs. Proof in Computational Complexity. Barak, B. Bulletin of the European Association for Theoretical Computer Science, October, 2012. Appeared in Logic in Computer Science column. Also posted in Windows on theory blog
Truth vs. Proof in Computational Complexity [pdf]Paper  Truth vs. Proof in Computational Complexity [link]Blog  bibtex   7 downloads  

Downloads: 7