Constraint integer programming - Achterberg, Tobias (2007)