A Linear-Time Transformation of Linear Inequalities into Conjunctive Normal Form.

Joost P. Warners

Published in: Inf. Process. Lett. (1998)

Keyphrases

linear inequalities
conjunctive normal form
linear programming
linear program
integer linear programming
convex hull
polynomial size
satisfiability problem
real numbers
boolean formula
worst case
objective function
np hard
upper bound
inference rules
column generation