Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Monday, January 20, 2014 20:03 - 20:18
Anatomy and Empirical Evaluation of Modern SAT Solvers

Download this video (45M)



Other videos from this workshop