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

Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Ashish Sabharwal, IBM Watson Research Center

Wednesday, January 22, 2014 11:54 - 12:22

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

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

Download this video (80M)