Discrete optimization (Elsevier, 2004)