0/1 Knapsack via branch-and-bound: bound = fractional relaxation upper bound. Prune branches where bound ≤ best known.