Proof Complexity Lower Bounds from Algebraic Circuit Complexity

Submitted by sgriffin on Thu, 2020-03-19 12:16
Description: 
Michael Forbes - January 19, 2016
File: 
Video
Date: 
2016-01-19