Video From 20w5144: Proof Complexity

Monday, January 20, 2020 16:30 - 16:56
Size-Degree Trade-Off for Sums-of-Squares Proofs

Download this video (127M)



Other videos from this workshop