Video From 18w5208: Theory and Practice of Satisfiability Solving

Tuesday, August 28, 2018 17:07 - 17:41
Formal Analysis of Deep Binarized Neural Networks

Download this video (113M)



Other videos from this workshop