9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010) in associazione con CP 2010