Video: Leszek Kolodziejczyk, "Polynomial Calculus Space and Resolution Width"

Video From 20w5144: Proof Complexity

Monday, January 20, 2020 16:00 - 16:29

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

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