lower bound on formula size.

Micah Adler Neil Immerman

Published in: ACM Trans. Comput. Log. (2003)

Keyphrases

lower bound
upper bound
running times
np hard
branch and bound algorithm
lower and upper bounds
objective function
upper and lower bounds
branch and bound
np complete
constant factor
worst case
computational complexity
optimal solution
real time
lower bounding
competitive ratio
data sets