Ashish Sabharwal, Video: Resolution and parallelizability: Barriers to the efficient parallelization of SAT solvers

Ashish Sabharwal, Video: Resolution and parallelizability: Barriers to the efficient parallelization of SAT solvers

Ashish Sabharwal, Resolution and parallelizability: Barriers to the efficient parallelization of SAT solvers, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

80M

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

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