Video From 20w5144: Proof Complexity

Thursday, January 23, 2020 09:02 - 09:31
Resolution Lower Bounds for Refutation Statements

Download this video (100M)



Other videos from this workshop