Denis Bueno, Video: Detecting traditional packing, decisively

Denis Bueno, Video: Detecting traditional packing, decisively

Denis Bueno, Detecting traditional packing, decisively, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

43M

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

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