Video From 20w5144: Proof Complexity

Thursday, January 23, 2020 16:32 - 17:02
Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs

Download this video (121M)



Other videos from this workshop