Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Friday, January 24, 2014 09:32 - 10:02
Unit-clause propagation and monotone circuits

Download this video (81M)

Other videos from this workshop