An exponential lower bound for the size of monotone real circuits (1999)

by A Haken, S A Cook
Venue:Journal of Computer and System Sciences