Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Tuesday, January 21, 2014 09:05 - 10:01
Leveraging Groebner bases and SAT for hardware/software verification

Download this video (106M)

Other videos from this workshop