Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Monday, January 20, 2014 16:02 - 16:33
Understanding the power of glue clauses

Download this video (70M)

Other videos from this workshop