@inproceedings{Amanda:modref11,
  author =  {Amanda Swearingn and Berthe Y. Choueiry and Eugene C. Freuder},
  title = {{Multi-Dimensional Models Facilitate Automatic Reformulation: The Case Study of the {\sc Set} Game}},
  booktitle = {Tenth International Workshop on on Constraint Modelling and
 Reformulation (ModRef 2011)},
  year =  2011,
  pages = {132--146},
  }