Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Monday, January 20, 2014 16:34 - 17:24
Where does SAT not work?

Download this video (115M)



Other videos from this workshop