Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Monday, January 20, 2014 16:34 - 17:24
Where does SAT not work?
Armin Biere, Video: Where does SAT not work?
Armin Biere, Video: Where does SAT not work?
Armin Biere, Where does SAT not work?, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
115M
http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos

Download this video (115M)

Other videos from this workshop