An Exponential Lower Bound for the Size of Monotone Real Circuits.

Armin Haken Stephen A. Cook

Published in: J. Comput. Syst. Sci. (1999)

Keyphrases

lower bound
upper bound
branch and bound algorithm
np hard
upper and lower bounds
real life
objective function
computational complexity
worst case
lower and upper bounds
logic circuits
neural network
special case
exponential size
average case complexity