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

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