Video From 18w5208: Theory and Practice of Satisfiability Solving

Tuesday, August 28, 2018 18:49 - 19:22
The (un)reasonable (in)effectiveness of theory for Sat solvers
Sam Buss, Video: The (un)reasonable (in)effectiveness of theory for Sat solvers
Sam Buss, Video: The (un)reasonable (in)effectiveness of theory for Sat solvers
Sam Buss, The (un)reasonable (in)effectiveness of theory for Sat solvers, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
98M
http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos
The (un)reasonable (in)effectiveness of theory for Sat solvers
Sam Buss at 18w5208: Theory and Practice of Satisfiability Solving on Tuesday, August 28, 2018
0 seconds of 0 secondsVolume 0%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 

Download this video (98M)



Other videos from this workshop