Constraint integer programming - Achterberg, Tobias (Verl. Dr. Hut, 2008)