Video From 20w5144: Proof Complexity

Thursday, January 23, 2020 15:01 - 15:29
Exponential Resolution Lower Bounds for the Weak Pigeonhole Principle over Sparse Graphs

Download this video (99M)

Other videos from this workshop