Modelling for Constraint Programming Barbara Smith [email protected] CP 2010 Doctoral Programme CP 2010 Doctoral Programme Context I will assume A well-defined problem…