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
Alexander Knop, Video: Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Alexander Knop, Video: Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Alexander Knop, Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
120M
http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos

Download this video (120M)



Other videos from this workshop