Matthew Kitching: Decomposition and Symmetry in Constraint Optimization Problems. University of Toronto, Canada 2011