Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Thursday, January 23, 2014 10:28 - 10:58
Beating brute force search for QBF satisfiability

Download this video (68M)

Other videos from this workshop