Video From 20w5144: Proof Complexity

Monday, January 20, 2020 10:02 - 10:56
Semialgebraic Proofs and Efficient Algorithm Design

Download this video (194M)

Other videos from this workshop