Video From 20w5144: Proof Complexity

Thursday, January 23, 2020 11:30 - 11:52
k-Clique and Regular vs. General Resolution

Download this video (84M)



Other videos from this workshop