Paul Beame, Video: Caching more than just bad partial assignments (clauses)?

Paul Beame, Video: Caching more than just bad partial assignments (clauses)?

Paul Beame, Caching more than just bad partial assignments (clauses)?, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

47M

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

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