Average-case lower bounds for formula size.

Ilan Komargodski, Ran Raz

Browse the full STOC paper archive.