Improved Lower Bounds for Resolution over Linear Inequalities.

Arist Kojevnikov

Published in: Electron. Colloquium Comput. Complex. (2007)

Keyphrases

linear inequalities
lower bound
linear programming
upper bound
linear program
convex hull
integer linear programming
objective function
high resolution
real numbers
branch and bound algorithm
np hard
branch and bound
lower and upper bounds
pattern recognition
expert systems
special case
data sets
vc dimension