Leszek Kolodziejczyk, Video: Polynomial Calculus Space and Resolution Width

Leszek Kolodziejczyk, Video: Polynomial Calculus Space and Resolution Width

Leszek Kolodziejczyk, Polynomial Calculus Space and Resolution Width, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

177M

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

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