Video From 16w5044: Computational Complexity

Wednesday, September 7, 2016 11:08 - 12:01
Proof complexity lower bounds from algebraic circuit complexity

Download this video (194M)

Other videos from this workshop