Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Wednesday, January 22, 2014 11:54 - 12:22
Resolution and parallelizability: Barriers to the efficient parallelization of SAT solvers

Download this video (80M)



Other videos from this workshop