Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Wednesday, January 22, 2014 11:21 - 11:53
Recent developments in parallel SAT solving

Download this video (73M)

Other videos from this workshop