Propositional Proof Complexity: A survey on the state of the art, including some recent results
University of Toronto
This web presentation contains the
of a lecture given at the Fields Institute on June 22, 2011
as part of the 26th Annual IEEE Symposium on Logic in Computer Science.
Listen to audio presentation:
Directly in browser (supported in recent versions of Mozilla Firefox,
Google Chrome, and others, but not yet in Microsoft Internet Explorer):
In an external player:
If the format you are requesting has not been viewed recently, expect a 20-30
second delay while it is rebuilt.