Constraint integer programming - Achterberg, Tobias (Berlin, Techn. Univ., Diss., 2007, 2007)