Proof Complexity (Dagstuhl Seminar 18051)

Albert Atserias, Jakob Nordström, Pavel Pudlák, Rahul Santhanam. Proof Complexity (Dagstuhl Seminar 18051). Dagstuhl Reports, 8(1):124-157, 2018. [doi]

Abstract

Abstract is missing.