Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Monday, January 20, 2014 20:56 - 21:10
Open Problem Session Discussion
Massimo Lauria, Video: Open Problem Session Discussion
Massimo Lauria, Video: Open Problem Session Discussion
Massimo Lauria, Open Problem Session Discussion, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
42M
http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos

Download this video (42M)



Other videos from this workshop