Video From 18w5208: Theory and Practice of Satisfiability Solving

Monday, August 27, 2018 16:44 - 17:42
Symmetry in SAT - a quest for pigeonhole

Download this video (192M)



Other videos from this workshop