Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities.

Arist Kojevnikov

Published in: SAT (2007)

Keyphrases

linear inequalities
lower bound
linear programming
upper bound
branch and bound
integer linear programming
branch and bound algorithm
linear program
high resolution
objective function
tree structure
convex hull
optimal solution
tree search
real numbers
worst case
np hard
lower and upper bounds
data sets