Video From 20w5144: Proof Complexity

Thursday, January 23, 2020 16:01 - 16:31
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Susanna de Rezende, Video: Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Susanna de Rezende, Video: Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Susanna de Rezende, Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
92M
http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos

Download this video (92M)

Other videos from this workshop