Space proof complexity for random $3$-CNFs via a $(2-\epsilon)$-Hall's Theorem

Ilario Bonacina, Nicola Galesi, Tony Huynh, Paul Wollan. Space proof complexity for random $3$-CNFs via a $(2-\epsilon)$-Hall's Theorem. Electronic Colloquium on Computational Complexity (ECCC), 21:146, 2014. [doi]

Abstract

Abstract is missing.