Video: Matti Järvisalo, "Mini-tutorial on preprocessing"

Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Monday, January 20, 2014 11:17 - 12:07

Mini-tutorial on preprocessing

Matti Järvisalo, Video: Mini-tutorial on preprocessing

Matti Järvisalo, Mini-tutorial on preprocessing, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

presentation

mpeg4

123M

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

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