BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

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

Item Media

Item Citations and Data

Rights

Attribution-NonCommercial-NoDerivs 2.5 Canada