Video From 20w5144: Proof Complexity

Tuesday, January 21, 2020 15:01 - 15:31
Characterising QBF Hardness via Circuit Complexity

Download this video (100M)



Other videos from this workshop