Lower Bounds for the Polynomial Calculus.

Alexander A. Razborov

Published in: Comput. Complex. (1998)

Keyphrases

lower bound
upper bound
branch and bound
branch and bound algorithm
average case complexity
lower and upper bounds
np hard
objective function
upper and lower bounds
optimal solution
worst case
vc dimension
lower bounding
linear programming
scheduling problem
average case
max sat
low order
randomly generated problems