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

http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001231601-deRezende.html