Christopher Jefferson

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 25

Top Venues

CoRR

IJCAI

Artif. Intell.

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). IJCAI (2023)
Christopher Jefferson, Rebecca Waldecker, Wilf A. Wilson
Perfect refiners for permutation group backtracking algorithms. J. Symb. Comput. 114 (2023)
Ruth Hoffmann, Özgür Akgün, Christopher Jefferson
Composable Constraint Models for Permutation Enumeration. CoRR (2023)
Mun See Chang, Christopher Jefferson
Disjoint direct product decompositions of permutation groups. J. Symb. Comput. 108 (2022)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Conjure: Automatic Generation of Constraint Models from Problem Specifications. Artif. Intell. 310 (2022)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
Automatic Tabulation in Constraint Models. CoRR (2022)
Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Alice M. Lynch
Using Small MUSes to Explain How to Solve Pen and Paper Puzzles. CoRR (2021)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
Towards Reformulating Essence Specifications for Robustness. CoRR (2021)
Mohamed Barakat, Reimer Behrends, Christopher Jefferson, Lukas Kühne, Martin Leuner
On the Generation of Rank 3 Simple Matroids with an Application to Terao's Freeness Conjecture. SIAM J. Discret. Math. 35 (2) (2021)
Sophie Huczynska, Christopher Jefferson, Silvia Nepsinská
Strong external difference families in abelian and non-abelian groups. Cryptogr. Commun. 13 (2) (2021)
Özgür Akgün, Jessica A. Enright, Christopher Jefferson, Ciaran McCreesh, Patrick Prosser, Steffen Zschaler
Finding Subgraphs with Side Constraints. CPAIOR (2021)
Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Matthew J. McIlree, Alice M. Lynch
Explaining Pen and Paper Puzzles with MUSes? SICSA XAI (2021)
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker
New refiners for permutation group search. J. Symb. Comput. 92 (2019)
Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale
Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. IJCAI (2019)
Ian P. Gent, Christopher Jefferson, Peter Nightingale
Complexity of n-Queens Completion (Extended Abstract). IJCAI (2018)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Metamorphic Testing of Constraint Solvers. CP (2018)
Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter
A Framework for Constraint Based Local Search using Essence. IJCAI (2018)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. CP (2018)
Ian P. Gent, Christopher Jefferson, Peter Nightingale
Complexity of n-Queens Completion. J. Artif. Intell. Res. 59 (2017)
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker
Orbital Graphs. CoRR (2017)
Christopher Jefferson, Eliza Jonauskyte, Markus Pfeiffer, Rebecca Waldecker
Minimal and Canonical Images. CoRR (2017)
Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen
Automatically improving constraint models in Savile Row. Artif. Intell. 251 (2017)
David A. Cohen, Christopher Jefferson, Karen E. Petrie
A Theoretical Framework for Constraint Propagator Triggering. SOCS (2016)
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker
New refiners for permutation group search. CoRR (2016)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. CP (2016)
Peter Nightingale, Ian Philip Gent, Christopher Jefferson, Ian Miguel
Short and Long Supports for Constraint Propagation. CoRR (2014)
Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
Qualitative modelling via constraint programming. Constraints An Int. J. 19 (2) (2014)
Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. ECAI (2014)
Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel
Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. CP (2014)
Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale, Peter Nightingale
Discriminating Instance Generation for Automated Constraint Model Selection. CP (2014)
Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale
Generating custom propagators for arbitrary constraints. Artif. Intell. 211 (2014)
Christopher Jefferson, Peter Nightingale
Extending Simple Tabular Reduction with Short Supports. IJCAI (2013)
Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
Short and Long Supports for Constraint Propagation. J. Artif. Intell. Res. 46 (2013)
Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
Automated Symmetry Breaking and Model Selection in Conjure. CP (2013)
Christopher Jefferson, Peter Jeavons, Martin James Green, Marc R. C. van Dongen
Representing and solving finite-domain constraint problems using systems of polynomials. Ann. Math. Artif. Intell. 67 (3-4) (2013)
Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
An automated approach to generating efficient constraint solvers. ICSE (2012)
Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
Qualitative Modelling via Constraint Programming: Past, Present and Future CoRR (2012)
Andreas Distler, Christopher Jefferson, Tom Kelsey, Lars Kotthoff
The Semigroups of Order 10. CP (2012)
Christopher Jefferson, Karen E. Petrie
Automatic Generation of Constraints for Partial Symmetry Breaking. CP (2011)
Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel
Conjure Revisited: Towards Automated Constraint Modelling CoRR (2011)
Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. IJCAI (2011)
Christopher Jefferson, Wendy Moncur, Karen E. Petrie
Combination: automated generation of puzzles with constraints. SAC (2011)
Dharini Balasubramaniam, Lakshitha de Silva, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers. WICSA (2011)
Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel
Modelling Constraint Solver Architecture Design as a Constraint Problem CoRR (2011)
Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich
Extensible Automated Constraint Modelling. AAAI (2011)
Christopher Jefferson
Modern constraint solving by propagation. MEMOCODE (2011)
Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
Implementing logical connectives in constraint programming. Artif. Intell. 174 (16-17) (2010)
Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. CP (2010)
Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
Learning When to Use Lazy Learning in Constraint Solving. ECAI (2010)
Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher Jefferson
Automatically Enhancing Constraint Model Instances during Tailoring. SARA (2009)
Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivný
Same-Relation Constraints. CP (2009)
Andrew Grayland, Christopher Jefferson, Ian Miguel, Colva M. Roney-Dougal
Minimal ordering constraints for some families of variable symmetries. Ann. Math. Artif. Intell. 57 (1) (2009)
Martin James Green, Christopher Jefferson
Structural Tractability of Propagated Constraints. CP (2008)
Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
Essence : A constraint language for specifying combinatorial problems. Constraints An Int. J. 13 (3) (2008)
Karen E. Petrie, Christopher Jefferson
Efficiently Solving Problems Where the Solutions Form a Group. CP (2008)
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) (2007)
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)
Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI (2007)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Constraint Symmetry and Solution Symmetry. AAAI (2006)
Ian P. Gent, Christopher Jefferson, Ian Miguel
Minion: A Fast Scalable Constraint Solver. ECAI (2006)
Christopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim
Modelling and solving English Peg Solitaire. Comput. Oper. Res. 33 (10) (2006)
Ian P. Gent, Christopher Jefferson, Ian Miguel
Watched Literals for Constraint Propagation in Minion. CP (2006)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Symmetry Definitions for Constraint Satisfaction Problems. Constraints An Int. J. 11 (2-3) (2006)
Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
The Rules of Constraint Modelling. IJCAI (2005)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Symmetry Definitions for Constraint Satisfaction Problems. CP (2005)
Alan M. Frisch, Christopher Jefferson, Ian Miguel
Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. ECAI (2004)
Christopher Jefferson
Choosing Efficient Representations of Abstract Variables. CP (2004)
Alan M. Frisch, Christopher Jefferson, Ian Miguel
Constraints for Breaking More Row and Column Symmetries. CP (2003)

Christopher Jefferson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christopher Jefferson