 | 2009 |
| 17 |  | Christopher Jefferson,
Serdar Kadioglu,
Karen E. Petrie,
Meinolf Sellmann,
Stanislav Zivný:
Same-Relation Constraints.
CP 2009: 470-485 |
| 2008 |
| 16 |  | Martin J. Green,
Christopher Jefferson:
Structural Tractability of Propagated Constraints.
CP 2008: 372-386 |
| 15 |  | Karen E. Petrie,
Christopher Jefferson:
Efficiently Solving Problems Where the Solutions Form a Group.
CP 2008: 529-533 |
| 14 |  | 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 |  | 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 |  | 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 |  | 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 |  | Christopher Jefferson,
Angela Miguel,
Ian Miguel,
Armagan Tarim:
Modelling and solving English Peg Solitaire.
Computers & OR 33(10): 2935-2959 (2006) |
| 6 |  | 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 |  | David A. Cohen,
Peter Jeavons,
Christopher Jefferson,
Karen E. Petrie,
Barbara M. Smith:
Symmetry Definitions for Constraint Satisfaction Problems.
CP 2005: 17-31 |
| 4 |  | Alan M. Frisch,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
The Rules of Constraint Modelling.
IJCAI 2005: 109-116 |
| 2004 |
| 3 |  | 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 |  | Alan M. Frisch,
Christopher Jefferson,
Ian Miguel:
Constraints for Breaking More Row and Column Symmetries.
CP 2003: 318-332 |