Talk page

Title:
Propositional Proof Complexity: Fifteen (or so) Years After

Speaker:
Alexander Razborov

Abstract:
https://www.ias.edu/math/avi60/agenda

Link:
https://www.ias.edu/video/avi60/2016/1005-AlexanderRazborov