Stav dette: Handbook on modelling for discrete optimization /