Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Monday, January 20, 2014 11:17 - 12:07
Mini-tutorial on preprocessing

Download this video (123M)



Other videos from this workshop