Discrete optimization : (Elsevier, 2003)