A Survey of Lower Bounds for the Resolution Proof System

Submitted by dloring on Thu, 2017-10-05 14:53
Description: 
A 2-hour survey given at the Institute for Advanced Study, Princeton, New Jersey - January 31, 2012
File: 
Video
Date: 
2012-01-31