Video From 20w5144: Proof Complexity

Thursday, January 23, 2020 17:04 - 17:35
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs

Download this video (120M)



Other videos from this workshop