Lower Bounds on the Size of Boolean Formulas: Preliminary Report

Michael J. Fischer, Albert R. Meyer, Mike Paterson. Lower Bounds on the Size of Boolean Formulas: Preliminary Report. In Conference Record of Seventh Annual ACM Symposium on Theory of Computation, 5-7 May 1975, Albuquerque, New Mexico, USA. pages 37-44, ACM, 1975.

Authors

Michael J. Fischer

This author has not been identified. Look up 'Michael J. Fischer' in Google

Albert R. Meyer

This author has not been identified. Look up 'Albert R. Meyer' in Google

Mike Paterson

This author has not been identified. Look up 'Mike Paterson' in Google