Pavel Hrubes, Pavel Pudlák. Random Formulas, Monotone Circuits, and Interpolation. In Chris Umans, editor, 58th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2017, Berkeley, CA, USA, October 15-17, 2017. pages 121-131, IEEE Computer Society, 2017. [doi]
Abstract is missing.