Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Monday, January 20, 2014 20:56 - 21:10
Open Problem Session Discussion

Download this video (42M)

Other videos from this workshop