Random formulas, monotone circuits, and interpolation

Pavel Hrubes, Pavel Pudlák. Random formulas, monotone circuits, and interpolation. Electronic Colloquium on Computational Complexity (ECCC), 24:42, 2017. [doi]

Abstract

Abstract is missing.