Video From 20w5144: Proof Complexity

Tuesday, January 21, 2020 11:51 - 12:20
Why are Proof Complexity Lower Bounds Hard?

Download this video (108M)



Other videos from this workshop