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

http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808281849-Buss.html