Video From 18w5208: Theory and Practice of Satisfiability Solving

Monday, August 27, 2018 11:43 - 12:45
Computable Short Proofs

Download this video (247M)



Other videos from this workshop