Video From 18w5208: Theory and Practice of Satisfiability Solving

Tuesday, August 28, 2018 17:44 - 18:13
Pseudo-Boolean Optimization

Download this video (107M)

Other videos from this workshop