Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds.

Published in: J. Symb. Log. (2004)

Keyphrases

lower bound
upper bound
objective function
high speed
branch and bound algorithm
np hard
worst case
low cost
branch and bound
circuit design
lower and upper bounds
upper and lower bounds
analog circuits
data sets
digital circuits
boolean functions
steady state
search algorithm