Video From 20w5144: Proof Complexity

Tuesday, January 21, 2020 16:32 - 17:03
Resolution and the binary encodings of combinatorial principles

Download this video (131M)



Other videos from this workshop