Video From 20w5144: Proof Complexity

Wednesday, January 22, 2020 09:55 - 10:45
Automating Resolution is NP-Hard

Download this video (200M)



Other videos from this workshop