Talk page

Title:
Propositional proofs and monotone computations

Speaker:
Pavel Pudlák

Link:
https://video-archive.fields.utoronto.ca/view/10355

Workshop:
Fields- Symposium on 50 Years of Complexity Theory: A Celebration of the Work of Stephen Cook