Jakob Nordström, Video: Mini-tutorial on weak proof systems and connections to SAT solving

Jakob Nordström, Video: Mini-tutorial on weak proof systems and connections to SAT solving

Jakob Nordström, Mini-tutorial on weak proof systems and connections to SAT solving, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

121M

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

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