• Final Report
  • Problem Reformulation and Search Patrick Prosser, Ian P. Gent and Barbara M. Smith, Final Report for EPSRC grant GR/M90641/02
• Journal Submission
  • A Case Study of Mutual Routing-Scheduling Reformulation, J.C.Beck, P.Prosser and E.Selensky, submitted to the special issue of the Journal of Scheduling, "Extending the Classical Scheduling Models to Incorporate Practical Constraints".
• Conference Papers
  • A Constraint Programming Approach to the Stable Marriage Problem I.P.Gent, R.W.Irving, D.F.Manlove, P.Prosser and B.M. Smith, Proceedings of 7th International Conference on Principles and Practice of Constraint Programming 2001 (CP01)
  • On the Reformulation of Vehicle Routing Problems and Scheduling Problems J.C.Beck, P.Prosser and E.Selensky, Proceedings of Symposium on Abstraction, Reformulation and Approximation (SARA 2002), Canada, July 2002.
  • An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists, I.Gent and P.Prosser, Proceedings of 15th European Conference on AI (ECAI2002), 2002.
  • SAT Encodings of the Stable Marriage Problem with Ties and Incomplete Lists, I.Gent and P.Prosser, Proceedings of 5th International Symposium on Theory and Applications of Satisfiability Testing (SAT2002), 2002.
  • A Dual Graph Traslation of a Problem in 'Life', B.M. Smith, Proceedings of 8th International Conference on Principles and Practice of Constraint Programming 2002 (CP02), ed. Pascal van Hentenryck, pp.402-414, LNCS 2470, 2002.
  • Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems J.C.Beck, P.Prosser and E.Selensky, Proceedings of International Conference on Graph Transformations (ICGT 2002), Barcelona, Spain, October 2002.
  • A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables P.Prosser and E.Selensky, Lecture Notes in Computer Science, vol.2627, Recent Advances in Constraints, p.121-131, 2003.
  • Vehicle Routing and Job Shop Scheduling: What's the difference? J.C.Beck, P.Prosser and E.Selensky, Proceedings of ICAPS 2003 (13th International Conference on Automated Planning and Scheduling), Trento, Italy, June 9-13, 2003.
  • Supertree Construction with Constraint Programming, I.Gent, P.Prosser, B.M.Smith and Wu Wei, Proceedings of 9th International Conference on Principles and Practice of Constraint Programming (CP03), Ireland, 2003.
• Workshop Papers
  • On Mutual Reformulation of Shop Scheduling and Vehicle Routing Evgeny Selensky Planning and Scheduling Special Interest Group Workshop, PLANSIG 2001, Edinburgh, UK.
  • On the Encoding of Constraint Satisfation Problems with 0/1 Variables Patrick Prosser and Evgeny Selensky, Post CP01 Conference Workshop, Modelling and Problem Formulation (Formul'01)
  • On Mutual Reformulation of Shop Scheduling and Vehicle Routing Evgeny Selensky, Post CP01 Conference Workshop, Modelling and Problem Formulation (Formul'01)
  • A 0/1 Encoding of GACLex Constraint for pair of vectors, I.Gent, P.Prosser and B.M.Smith, Proceedings of ECAI2002 Workshop W9: Modelling and Solving Problems with Constraints, 2002.
  • A Student Advisory System: A Configuration Problem for Constraint Programming, K.McDonald and P.Prosser, Proceedings of ECAI2002 Workshop W4: Configuration, 2002.
  • An Empirical Study of Mutual Routing-Scheduling Reformulation J.C.Beck, P.Prosser and E.Selensky, Reformulation Workshop of CP 2003 (9th International Conference on Principles and Practice of Constraint Programming), Kinsale, Co. Cork, Ireland, Sept 29 - Oct 3, 2003.
  • A Reformulation of the Bridge Building Problem as Vehicle Routing, E.Selensky, Reformulation Workshop of CP 2003 (9th International Conference on Principles and Practice of Constraint Programming), Kinsale, Co. Cork, Ireland, Sept 29 - Oct 3, 2003.
  • Constraint Programming in Practice: Scheduling a Rehearsal, B.M.Smith, Workshop on Applications of Constraint Programming in Scheduling, University of Huddersfield, Sept 2003.
  • Search Strategies for Optimization: Modelling the SONET Problem, B.M.Smith, Reformulation Workshop of CP 2003 (9th International Conference on Principles and Practice of Constraint Programming), Kinsale, Co. Cork, Ireland, Sept 29 - Oct 3, 2003.
• Presentations
  • Maximal Independent Sets of a Hypergraph, The Modelling and Solving Problems with Constraints Workshop, IJCAI01.
  • A Project Overview May 2001
  • Ilog Paris Project Meeting October 2001
  • Posters for PLANSIG 2001, Edinburgh, December 2001
  • A Constraint Programming Approach to the Stable Marriage Problem at CP01 (see above for postscript of paper and link to conference)
  • Job Shop Reformulation of Vehicle Routing, FATA talk on January 29, 2002.
  • Presentation at Robert Gordon University in Aberdeen on March 1, 2002.
  • Solve Your Problem Faster by Changing the Model, B.M.Smith, an invited talk, Proceedings of ERCIM 2002 Workshop, 2002.
  • Talk at ICGT 2002, Barcelona, Spain, October 2002.
  • Talk at ICAPS 2002, Chris Beck (, Ireland), Trento, Italy, June 2003.
  • Constraint Programming in Practice: Scheduling a Rehearsal, B.M.Smith, an introductory talk, Workshop on Applications of Constraint Programming in Scheduling, University of Huddersfield, Sept 2003.