Propositional Proof Complexity Instructor: Alexander Razborov, University of Chicago. Course Homepage: http: people.cs.uchicago.edu ~razborov teaching winter09.html Winter, 2009 and Winter, 2014 - Open Polar Sea - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-04-04 16:32:05		Propositional Proof Complexity Instructor: Alexander Razborov, University of Chicago. Course Homepage: http://people.cs.uchicago.edu/~razborov/teaching/winter09.html Winter, 2009 and Winter, 2014 Add to Reading List Source URL: people.cs.uchicago.edu Download Document from Source Website File Size: 549,67 KB Share Document on Facebook