Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Friday, January 24, 2014 10:07 - 10:33
Strong ETH holds for regular resolution

Download this video (53M)

Other videos from this workshop