Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Wednesday, January 22, 2014 10:37 - 11:04
Survey of satisfiability modulo theories (SMT)

Download this video (54M)

Other videos from this workshop