SMS: Integer and combinatorial optimization /