Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Friday, January 24, 2014 09:04 - 09:32
Abstraction and multi-encodings in SAT

Download this video (57M)

Other videos from this workshop