Bounded integer knapsack implementation.