Journals

I.P. Gent, C. Jefferson, T. Kelsey, I. Lynce, I. Miguel, P. Nightingale, B.M. Smith. Search in the Patience Game "Black Hole". (Pre-print). To appear in AI Communications, 2006.

C. Jefferson, A. Miguel, I. Miguel, A. Tarim. Modelling and Solving English Peg Solitaire. Computers and Operations Research 33(10), pages 2935-2959, 2006.
Dave Cohen, Peter Jeavons, Chris Jefferson, Karen E. Petrie and Barbara M. Smith. Symmetry Definitions for Constraint Programming, Constraints, 11:115-137, 2006.

Conferences

A.M. Frisch, M. Grum, C. Jefferson, B. Martinez-Hernandez, I. Miguel. The Design of Essence: A Constraint Language for Specifying Combinatorial Problems. Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (to appear), 2007.

Dave Cohen, Peter Jeavons, Chris Jefferson, Karen E. Petrie and Barbara M. Smith. Symmetry Definitions for Constraint Programming, In Principles and Practice of Constraint Programming - CP 2005, ed. Peter van Beek, pp. 17-31, Springer, LNCS 3709, 2005. (Best Paper award.) Extended Journal Version

David Cohen, Peter Jeavons, Chris Jefferson, Karen E. Petrie, and Barbara M. Smith. Constraint Symmetry and Solution Symmetry, In Proceedings of the 21st National Conference in Artificial Intelligence (AAAI-06), pages 1589-1592. (NECTAR stream.) AAAI Press, 2006.

I.P. Gent, C. Jefferson, I. Miguel. Minion: A Fast, Scalable Constraint Solver. Proceedings of the Seventeenth European Conference on Artificial Intelligence, 98-102, 2006. This was judged by the chairs to be one of the ten best papers submitted to the conference. Click for more information on the Minion Constraint Solver.

I.P. Gent, C. Jefferson, I. Miguel. Watched Literals for Constraint Propagation in Minion. Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming, 182-197, 2006.

A.M. Frisch, C. Jefferson, B. Martinez-Hernandez, I. Miguel. The Rules of Constraint Modelling. Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), 109-116, 2005.

A.M. Frisch, C. Jefferson and I. Miguel. Symmetry-breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. Proceedings of the 16th European Conference on Artifical Intelligence, 2004.

A.M. Frisch, C. Jefferson and I. Miguel. Constraints for Breaking More Row and Column Symmetries. Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming pages 318-332, LNCS 2833, 2003.


Workshop Papers

T. Kelsey, C. Jefferson, K. Petrie and S. Linton. GAPLex: Generalised Static Symmetry Breaking, in Proceedings of SymCon06.
A.M. Frisch, M. Grum, C. Jefferson, B. Martinez-Hernandez, I. Miguel Why ESSENCE? Frequently Asked Questions about a New Language for Specifying Combinatorial Problems. Proceedings of the 5th International Workshop on Constraint Modelling and Reformulation, 30-41, 2006.

A.M. Frisch, M. Grum, C. Jefferson, B. Martinez-Hernandez, I. Miguel The Essence of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. Proceedings of the 4th International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, 73-88, 2005.

A.M. Frisch, C. Jefferson, B. Martinez-Hernandez, I. Miguel The Rules of Constraint Modelling: An Overview. Proceedings of the 12th Workshop on Automnated Reasoning, 2005.

A.M. Frisch, C. Jefferson, B. Martinez-Hernandez and I. Miguel Generating Effective Constraint Programs: An Application of Automated Reasoning. Proceedings of the 11th Workshop on Automated Reasoning, 2004.

A.M. Frisch, C. Jefferson, B. Martinez-Hernandez and I. Miguel The Rules of Modelling: Towards Automatic Generation of Constraint Programs. Proceedings of the 3rd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, 2004.

P. Flener, A.M. Frisch, B. Hnich, C. Jefferson, Z.Kiziltan, I. Miguel, J. Pearson and T. Walsh. Breaking Symmetries in Matrix Models: A Brief Overview. Proceedings of the Tenth Workshop on Automated Reasoning, pages 27--28, 2003.

C. Jefferson, A. Miguel, I. Miguel, A. Tarim. Modelling and Solving English Peg Solitaire. Proceedings of the Fifth International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), pages 261--275, 2003.