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 - Proof complexity - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2014-04-04 16:32:05 Open Document File Size: 549,67 KB Share Result on Facebook

Propositional Proof Complexity Instructor: Alexander Razborov, University of Chicago. Course Homepage: http://people.cs.uchicago.edu/~razborov/teaching/winter09.html Winter, 2009 and Winter, 2014Add to Reading List