Describir: Integer and combinatorial optimization /