Video From 18w5208: Theory and Practice of Satisfiability Solving

Thursday, August 30, 2018 18:13 - 18:43
Algorithms beyond Resolution using MaxSAT

Download this video (101M)



Other videos from this workshop