Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Monday, January 20, 2014 14:38 - 15:34
Mini-tutorial on weak proof systems and connections to SAT solving

Download this video (121M)

Other videos from this workshop