Video: Jakob Nordström, "From theoretical potential to applied impact — could/should we get more interaction between practitioners and theoreticians and if so how?"

Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Jakob Nordström, University of Copenhagen

Thursday, January 23, 2014 19:38 - 20:59

From theoretical potential to applied impact — could/should we get more interaction between practitioners and theoreticians and if so how?

Jakob Nordström, Video: From theoretical potential to applied impact — could/should we get more interaction between practitioners and theoreticians and if so how?

Jakob Nordström, From theoretical potential to applied impact — could/should we get more interaction between practitioners and theoreticians and if so how?, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

presentation

mpeg4

249M

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

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

Download this video (249M)