Reduces knapsack constraint to convex hull of integer points