Christopher Jefferson

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