Constraint integer programming - Achterberg, Tobias (Verfasser) (2007)