Lance Fortnow Salil P. Vadhan Proceedings of the 43rd ACM Symposium on Theory of Computing, STOC 2011, San Jose, CA, USA, 6-8 June 2011 978-1-4503-0691-1 STOC ACM 2011 db/conf/stoc/stoc2011.html