BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

Proof Complexity 2020 Beame, Paul


A biased, incomplete high-level survey of progress in proof complexity over the last two decades. The start of a conversation about where to go next.

Item Media

Item Citations and Data


Attribution-NonCommercial-NoDerivatives 4.0 International