Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Monday, January 20, 2014 21:10 - 21:20
Caching more than just bad partial assignments (clauses)?

Download this video (47M)

Other videos from this workshop