Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Thursday, January 23, 2014 10:28 - 10:58
Beating brute force search for QBF satisfiability
Rahul Santhanam, Video: Beating brute force search for QBF satisfiability
Rahul Santhanam, Video: Beating brute force search for QBF satisfiability
Rahul Santhanam, Beating brute force search for QBF satisfiability, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
68M
http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos

Download this video (68M)



Other videos from this workshop