Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Friday, January 24, 2014 11:03 - 11:26
Detecting traditional packing, decisively

Download this video (43M)



Other videos from this workshop