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
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Susanna de Rezende at 20w5144: Proof Complexity on Thursday, January 23, 2020
0 seconds of 0 secondsVolume 90%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 

Download this video (92M)

Other videos from this workshop