The ModRef workshop series

The International Workshop on Constraint Modelling and Reformulation is a forum for work on how combinatorial problems are modelled and how those models are reformulated to be solved more effectively by constraint solvers.

Since 2002 it has been held each year alongside the CP conference. Topics range from new models and modelling ideas for particular problems, through reformulation techniques that improve solver performance, to higher-level modelling languages and the automation of modelling itself.