Constraints for Breaking More Row and Column Symmetries. - Alan M. Frisch; Christopher Jefferson; Ian Miguel (CP, 2003)

Choosing Efficient Representations of Abstract Variables. - Christopher Jefferson (CP, 2004)

Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. - Alan M. Frisch; Christopher Jefferson; Ian Miguel (ECAI, 2004)

Symmetry Definitions for Constraint Satisfaction Problems. - David A. Cohen; Peter Jeavons 001; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith (CP, 2005)

The Rules of Constraint Modelling. - Alan M. Frisch; Christopher Jefferson; Bernadette Martínez Hernández; Ian Miguel (IJCAI, 2005)

Constraint Symmetry and Solution Symmetry. - David A. Cohen; Peter Jeavons 001; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith (AAAI, 2006)

Watched Literals for Constraint Propagation in Minion. - Ian P. Gent; Christopher Jefferson; Ian Miguel (CP, 2006)

Minion: A Fast Scalable Constraint Solver. - Ian P. Gent; Christopher Jefferson; Ian Miguel (ECAI, 2006)

Modelling and solving English Peg Solitaire. - Christopher Jefferson; Angela Miguel; Ian Miguel; Armagan Tarim (Comput. Oper. Res., 2006)

Data Structures for Generalised Arc Consistency for Extensional Constraints. - Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (AAAI, 2007)

The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. - Alan M. Frisch; Matthew Grum; Christopher Jefferson; Bernadette Martínez Hernández; Ian Miguel (IJCAI, 2007)

Search in the patience game 'Black Hole'. - Ian P. Gent; Christopher Jefferson; Tom W. Kelsey; Inês Lynce; Ian Miguel; Peter Nightingale; Barbara M. Smith; Armagan Tarim (AI Commun., 2007)

Representations in constraint programming. - Christopher Jefferson (2007)

Structural Tractability of Propagated Constraints. - Martin James Green; Christopher Jefferson (CP, 2008)

Efficiently Solving Problems Where the Solutions Form a Group. - Karen E. Petrie; Christopher Jefferson (CP, 2008)

Essence : A constraint language for specifying combinatorial problems. - Alan M. Frisch; Warwick Harvey; Christopher Jefferson; Bernadette Martínez Hernández; Ian Miguel (Constraints An Int. J., 2008)

Same-Relation Constraints. - Christopher Jefferson; Serdar Kadioglu; Karen E. Petrie; Meinolf Sellmann; Stanislav Zivný (CP, 2009)

Automatically Enhancing Constraint Model Instances during Tailoring. - Andrea Rendl; Ian Miguel; Ian P. Gent; Christopher Jefferson (SARA, 2009)

Minimal ordering constraints for some families of variable symmetries. - Andrew Grayland; Christopher Jefferson; Ian Miguel; Colva M. Roney-Dougal (Ann. Math. Artif. Intell., 2009)

Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. - Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (CP, 2010)

Learning When to Use Lazy Learning in Constraint Solving. - Ian P. Gent; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Neil C. A. Moore; Peter Nightingale; Karen E. Petrie (ECAI, 2010)

Implementing logical connectives in constraint programming. - Christopher Jefferson; Neil C. A. Moore; Peter Nightingale; Karen E. Petrie (Artif. Intell., 2010)

Extensible Automated Constraint Modelling. - Ozgur Akgun; Ian Miguel; Christopher Jefferson; Alan M. Frisch; Brahim Hnich (AAAI, 2011)

Automatic Generation of Constraints for Partial Symmetry Breaking. - Christopher Jefferson; Karen E. Petrie (CP, 2011)

Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. - Peter Nightingale; Ian P. Gent; Christopher Jefferson; Ian Miguel (IJCAI, 2011)

Modern constraint solving by propagation. - Christopher Jefferson (MEMOCODE, 2011)

Combination: automated generation of puzzles with constraints. - Christopher Jefferson; Wendy Moncur; Karen E. Petrie (SAC, 2011)

Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers. - Dharini Balasubramaniam; Lakshitha de Silva; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Peter Nightingale (WICSA, 2011)

Conjure Revisited: Towards Automated Constraint Modelling - Ozgur Akgun; Alan M. Frisch; Brahim Hnich; Christopher Jefferson; Ian Miguel (CoRR, 2011)

Modelling Constraint Solver Architecture Design as a Constraint Problem - Ian P. Gent; Christopher Jefferson; Lars Kotthoff; Ian Miguel (CoRR, 2011)

The Semigroups of Order 10. - Andreas Distler; Christopher Jefferson; Tom W. Kelsey; Lars Kotthoff (CP, 2012)

An automated approach to generating efficient constraint solvers. - Dharini Balasubramaniam; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Peter Nightingale (ICSE, 2012)

Qualitative Modelling via Constraint Programming: Past, Present and Future - Thomas W. Kelsey; Lars Kotthoff; Christopher Jefferson; Stephen A. Linton; Ian Miguel; Peter Nightingale; Ian P. Gent (CoRR, 2012)

Automated Symmetry Breaking and Model Selection in Conjure. - Ozgur Akgun; Alan M. Frisch; Ian P. Gent; Bilal Syed Hussain; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Peter Nightingale (CP, 2013)

Extending Simple Tabular Reduction with Short Supports. - Christopher Jefferson; Peter Nightingale (IJCAI, 2013)

Representing and solving finite-domain constraint problems using systems of polynomials. - Christopher Jefferson; Peter Jeavons 001; Martin James Green; Marc R. C. van Dongen (Ann. Math. Artif. Intell., 2013)

Short and Long Supports for Constraint Propagation. - Peter Nightingale; Ian P. Gent; Christopher Jefferson; Ian Miguel (J. Artif. Intell. Res., 2013)

Discriminating Instance Generation for Automated Constraint Model Selection. - Ian P. Gent; Bilal Syed Hussain; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Glenna F. Nightingale; Peter Nightingale (CP, 2014)

Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. - Peter Nightingale; Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel (CP, 2014)

Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. - Ozgur Akgun; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (ECAI, 2014)

Generating custom propagators for arbitrary constraints. - Ian P. Gent; Christopher Jefferson; Steve Linton; Ian Miguel; Peter Nightingale (Artif. Intell., 2014)

Qualitative modelling via constraint programming. - Thomas W. Kelsey; Lars Kotthoff; Christopher Jefferson; Stephen A. Linton; Ian Miguel; Peter Nightingale; Ian P. Gent (Constraints An Int. J., 2014)

Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (CP, 2016)

A Theoretical Framework for Constraint Propagator Triggering. - David A. Cohen; Christopher Jefferson; Karen E. Petrie (SOCS, 2016)

Automatically improving constraint models in Savile Row. - Peter Nightingale; Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Patrick Spracklen (Artif. Intell., 2017)

Minimal and Canonical Images. - Christopher Jefferson; Eliza Jonauskyte; Markus Pfeiffer; Rebecca Waldecker (CoRR, 2017)

Orbital Graphs. - Christopher Jefferson; Markus Pfeiffer; Rebecca Waldecker (CoRR, 2017)

Complexity of n-Queens Completion. - Ian P. Gent; Christopher Jefferson; Peter Nightingale (J. Artif. Intell. Res., 2017)

Metamorphic Testing of Constraint Solvers. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (CP, 2018)

Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon (CP, 2018)

A Framework for Constraint Based Local Search using Essence. - Özgür Akgün; Saad Attieh; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon; Patrick Spracklen; James Wetter (IJCAI, 2018)

Complexity of n-Queens Completion (Extended Abstract). - Ian P. Gent; Christopher Jefferson; Peter Nightingale (IJCAI, 2018)

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. - Saad Attieh; Nguyen Dang 001; Christopher Jefferson; Ian Miguel; Peter Nightingale (IJCAI, 2019)

New refiners for permutation group search. - Christopher Jefferson; Markus Pfeiffer; Rebecca Waldecker (J. Symb. Comput., 2019)

Finding Subgraphs with Side Constraints. - Özgür Akgün; Jessica A. Enright; Christopher Jefferson; Ciaran McCreesh; Patrick Prosser; Steffen Zschaler (CPAIOR, 2021)

Explaining Pen and Paper Puzzles with MUSes? - Joan Espasa; Ian P. Gent; Ruth Hoffmann; Christopher Jefferson; Matthew J. McIlree; Alice M. Lynch (SICSA XAI, 2021)

Strong external difference families in abelian and non-abelian groups. - Sophie Huczynska; Christopher Jefferson; Silvia Nepsinská (Cryptogr. Commun., 2021)

Using Small MUSes to Explain How to Solve Pen and Paper Puzzles. - Joan Espasa; Ian P. Gent; Ruth Hoffmann; Christopher Jefferson; Alice M. Lynch (CoRR, 2021)

Towards Reformulating Essence Specifications for Robustness. - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon (CoRR, 2021)

On the Generation of Rank 3 Simple Matroids with an Application to Terao's Freeness Conjecture. - Mohamed Barakat; Reimer Behrends; Christopher Jefferson; Lukas Kühne; Martin Leuner (SIAM J. Discret. Math., 2021)

Considering the Person in the Puzzle: Challenging common assumptions about Sudoku player strategies. - Alice M. Lynch; Christopher Jefferson; Uta Hinrichs (DiGRA, 2022)

Conjure: Automatic Generation of Constraint Models from Problem Specifications. - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (Artif. Intell., 2022)

Automatic Tabulation in Constraint Models. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Zeynep Kiziltan; Ian Miguel; Peter Nightingale; András Z. Salamon; Felix Ulrich-Oltean (CoRR, 2022)

Disjoint direct product decompositions of permutation groups. - Mun See Chang; Christopher Jefferson (J. Symb. Comput., 2022)

Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (IJCAI, 2023)

Composable Constraint Models for Permutation Enumeration. - Ruth Hoffmann; Özgür Akgün; Christopher Jefferson (CoRR, 2023)

Perfect refiners for permutation group backtracking algorithms. - Christopher Jefferson; Rebecca Waldecker; Wilf A. Wilson (J. Symb. Comput., 2023)

Breaking the Symmetries of Indistinguishable Objects. - Özgür Akgün; Mun See Chang; Ian P. Gent; Christopher Jefferson (CPAIOR (1), 2025)

Athanor: Local search over abstract constraint specifications. - Saad Attieh; Nguyen Dang 001; Christopher Jefferson; Ian Miguel; Peter Nightingale (Artif. Intell., 2025)

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Zeynep Kiziltan; Ian Miguel; Peter Nightingale; András Z. Salamon; Felix Ulrich-Oltean (J. Artif. Intell. Res., 2025)