Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Monday, January 20, 2014 09:03 - 09:59
Mini-tutorial on conflict-driven clause learning (CDCL)

Download this video (121M)



Other videos from this workshop