Video From 18w5208: Theory and Practice of Satisfiability Solving

Friday, August 31, 2018 11:07 - 11:39
Circular (Yet Sound) Proofs

Download this video (104M)



Other videos from this workshop