Christopher Jefferson

According to our database, Christopher Jefferson authored at least 66 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Perfect refiners for permutation group backtracking algorithms.

Christopher Jefferson, Rebecca Waldecker, Wilf A. Wilson

J. Symb. Comput., 2023

Composable Constraint Models for Permutation Enumeration.

Ruth Hoffmann, Özgür Akgün, Christopher Jefferson

CoRR, 2023

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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Disjoint direct product decompositions of permutation groups.

Mun See Chang, Christopher Jefferson

J. Symb. Comput., 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

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

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

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

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

Strong external difference families in abelian and non-abelian groups.

Sophie Huczynska, Christopher Jefferson, Silvia Nepsinská

Cryptogr. Commun., 2021

Explaining Pen and Paper Puzzles with MUSes?

Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Matthew J. McIlree, Alice M. Lynch

Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021, 2021

Finding Subgraphs with Side Constraints.

Özgür Akgün, Jessica A. Enright, Christopher Jefferson, Ciaran McCreesh, Patrick Prosser, Steffen Zschaler

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

2019

New refiners for permutation group search.

Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker

J. Symb. Comput., 2019

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence.

Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Complexity of n-Queens Completion (Extended Abstract).

Ian P. Gent, Christopher Jefferson, Peter Nightingale

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 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

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 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

Proceedings of the Principles and Practice of Constraint Programming, 2018

Metamorphic Testing of Constraint Solvers.

Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Complexity of n-Queens Completion.

Ian P. Gent, Christopher Jefferson, Peter Nightingale

J. Artif. Intell. Res., 2017

Orbital Graphs.

Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker

CoRR, 2017

Minimal and Canonical Images.

Christopher Jefferson, Eliza Jonauskyte, Markus Pfeiffer, Rebecca Waldecker

CoRR, 2017

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

2016

A Theoretical Framework for Constraint Propagator Triggering.

David A. Cohen, Christopher Jefferson, Karen E. Petrie

Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT.

Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2016

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

Generating custom propagators for arbitrary constraints.

Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale

Artif. Intell., 2014

Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE.

Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 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

Proceedings of the Principles and Practice of Constraint Programming, 2014

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

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Short and Long Supports for Constraint Propagation.

Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel

J. Artif. Intell. Res., 2013

Representing and solving finite-domain constraint problems using systems of polynomials.

Christopher Jefferson, Peter Jeavons, Martin James Green, Marc R. C. van Dongen

Ann. Math. Artif. Intell., 2013

Extending Simple Tabular Reduction with Short Supports.

Christopher Jefferson, Peter Nightingale

Proceedings of the IJCAI 2013, 2013

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

Proceedings of the Principles and Practice of Constraint Programming, 2013

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

An automated approach to generating efficient constraint solvers.

Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale

Proceedings of the 34th International Conference on Software Engineering, 2012

The Semigroups of Order 10.

Andreas Distler, Christopher Jefferson, Tom Kelsey, Lars Kotthoff

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Modelling Constraint Solver Architecture Design as a Constraint Problem

Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel

CoRR, 2011

Conjure Revisited: Towards Automated Constraint Modelling

Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel

CoRR, 2011

Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers.

Dharini Balasubramaniam, Lakshitha de Silva, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

Combination: automated generation of puzzles with constraints.

Christopher Jefferson, Wendy Moncur, Karen E. Petrie

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Modern constraint solving by propagation.

Christopher Jefferson

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints.

Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel

Proceedings of the IJCAI 2011, 2011

Automatic Generation of Constraints for Partial Symmetry Breaking.

Christopher Jefferson, Karen E. Petrie

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

Extensible Automated Constraint Modelling.

Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Implementing logical connectives in constraint programming.

Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie

Artif. Intell., 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

Proceedings of the ECAI 2010, 2010

Generating Special-Purpose Stateless Propagators for Arbitrary Constraints.

Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

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

Automatically Enhancing Constraint Model Instances during Tailoring.

Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher Jefferson

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Same-Relation Constraints.

Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivný

Proceedings of the Principles and Practice of Constraint Programming, 2009

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

Efficiently Solving Problems Where the Solutions Form a Group.

Karen E. Petrie, Christopher Jefferson

Proceedings of the Principles and Practice of Constraint Programming, 2008

Structural Tractability of Propagated Constraints.

Martin James Green, Christopher Jefferson

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Representations in constraint programming.

Christopher Jefferson

PhD thesis, 2007

Search in the patience game 'Black Hole'.

Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim

AI Commun., 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

Proceedings of the IJCAI 2007, 2007

Data Structures for Generalised Arc Consistency for Extensional Constraints.

Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Modelling and solving English Peg Solitaire.

Christopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim

Comput. Oper. Res., 2006

Symmetry Definitions for Constraint Satisfaction Problems.

David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith

Constraints An Int. J., 2006

Minion: A Fast Scalable Constraint Solver.

Ian P. Gent, Christopher Jefferson, Ian Miguel

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Watched Literals for Constraint Propagation in Minion.

Ian P. Gent, Christopher Jefferson, Ian Miguel

Proceedings of the Principles and Practice of Constraint Programming, 2006

Constraint Symmetry and Solution Symmetry.

David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith

Proceedings of the Proceedings, 2006

2005

The Rules of Constraint Modelling.

Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern.

Alan M. Frisch, Christopher Jefferson, Ian Miguel

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Choosing Efficient Representations of Abstract Variables.

Christopher Jefferson

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Constraints for Breaking More Row and Column Symmetries.

Alan M. Frisch, Christopher Jefferson, Ian Miguel

Proceedings of the Principles and Practice of Constraint Programming, 2003