Nicola Galesi, Video: Space complexity in algebraic proof systems

Nicola Galesi, Video: Space complexity in algebraic proof systems

Nicola Galesi, Space complexity in algebraic proof systems, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

56M

http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos

http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos/watch/201401231602-Galesi.html