6th International Workshop on Constraint Modelling and Reformulation (ModRef 2007) tenuto in occasione di CP 2007, Providence, Rhode Island, USA.