Random Formulas, Monotone Circuits, and Interpolation.

Pavel Hrubes, Pavel Pudlk

Browse the full FOCS paper archive.