Constraint and integer programming : - Milano, Michela (Operations research/computer science interfaces series, 2004)