| 2008 |
| 16 | EE | Martin J. Green,
Christopher Jefferson:
Structural Tractability of Propagated Constraints.
CP 2008: 372-386 |
| 15 | EE | Karen E. Petrie,
Christopher Jefferson:
Efficiently Solving Problems Where the Solutions Form a Group.
CP 2008: 529-533 |
| 14 | EE | Alan M. Frisch,
Warwick Harvey,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
Essence : A constraint language for specifying combinatorial problems.
Constraints 13(3): 268-306 (2008) |
| 2007 |
| 13 | | Ian P. Gent,
Christopher Jefferson,
Ian Miguel,
Peter Nightingale:
Data Structures for Generalised Arc Consistency for Extensional Constraints.
AAAI 2007: 191-197 |
| 12 | EE | Alan M. Frisch,
Matthew Grum,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems.
IJCAI 2007: 80-87 |
| 11 | EE | Ian P. Gent,
Christopher Jefferson,
Tom Kelsey,
Inês Lynce,
Ian Miguel,
Peter Nightingale,
Barbara M. Smith,
Armagan Tarim:
Search in the patience game 'Black Hole'.
AI Commun. 20(3): 211-226 (2007) |
| 2006 |
| 10 | | David A. Cohen,
Peter Jeavons,
Christopher Jefferson,
Karen E. Petrie,
Barbara M. Smith:
Constraint Symmetry and Solution Symmetry.
AAAI 2006 |
| 9 | EE | Ian P. Gent,
Christopher Jefferson,
Ian Miguel:
Watched Literals for Constraint Propagation in Minion.
CP 2006: 182-197 |
| 8 | | Ian P. Gent,
Christopher Jefferson,
Ian Miguel:
Minion: A Fast Scalable Constraint Solver.
ECAI 2006: 98-102 |
| 7 | EE | Christopher Jefferson,
Angela Miguel,
Ian Miguel,
Armagan Tarim:
Modelling and solving English Peg Solitaire.
Computers & OR 33(10): 2935-2959 (2006) |
| 6 | EE | David A. Cohen,
Peter Jeavons,
Christopher Jefferson,
Karen E. Petrie,
Barbara M. Smith:
Symmetry Definitions for Constraint Satisfaction Problems.
Constraints 11(2-3): 115-137 (2006) |
| 2005 |
| 5 | EE | David A. Cohen,
Peter Jeavons,
Christopher Jefferson,
Karen E. Petrie,
Barbara M. Smith:
Symmetry Definitions for Constraint Satisfaction Problems.
CP 2005: 17-31 |
| 4 | EE | Alan M. Frisch,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
The Rules of Constraint Modelling.
IJCAI 2005: 109-116 |
| 2004 |
| 3 | EE | Christopher Jefferson:
Choosing Efficient Representations of Abstract Variables.
CP 2004: 799 |
| 2 | | Alan M. Frisch,
Christopher Jefferson,
Ian Miguel:
Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern.
ECAI 2004: 171-175 |
| 2003 |
| 1 | EE | Alan M. Frisch,
Christopher Jefferson,
Ian Miguel:
Constraints for Breaking More Row and Column Symmetries.
CP 2003: 318-332 |