STOC 2020 - Session 1B: Proof Complexity and Applications of Logics

STOC 2020