Omega(n log n) Lower Bounds on Length of Boolean Formulas

Michael J. Fischer, Albert R. Meyer, Mike Paterson. Omega(n log n) Lower Bounds on Length of Boolean Formulas. SIAM Journal on Computing, 11(3):416-427, 1982.

Abstract

Abstract is missing.