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 |