Christopher Jefferson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
10
Active years
2003–2026
Best venue rank
A*
Where they publish
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Faster Symmetry Breaking Constraints for Abstract Structures. | zgr Akgn, Mun See Chang, Ian P. Gent, Christopher Jefferson |
| 2025 | CPAIOR | Breaking the Symmetries of Indistinguishable Objects. | zgr Akgn, Mun See Chang, Ian P. Gent, Christopher Jefferson |
| 2023 | IJCAI | Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). | zgr Akgn, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2022 | DIGRA | Considering the Person in the Puzzle: Challenging common assumptions about Sudoku player strategies. | Alice M. Lynch, Christopher Jefferson, Uta Hinrichs |
| 2021 | CPAIOR | Finding Subgraphs with Side Constraints. | zgr Akgn, Jessica A. Enright, Christopher Jefferson, Ciaran McCreesh, Patrick Prosser, Steffen Zschaler |
| 2019 | IJCAI | Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. | Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2018 | CP | Metamorphic Testing of Constraint Solvers. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2018 | CP | Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, Andrs Z. Salamon |
| 2018 | IJCAI | A Framework for Constraint Based Local Search using Essence. | zgr Akgn, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Patrick Spracklen, James Wetter |
| 2018 | IJCAI | Complexity of n-Queens Completion (Extended Abstract). | Ian P. Gent, Christopher Jefferson, Peter Nightingale |
| 2016 | CP | Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2016 | SoCS | A Theoretical Framework for Constraint Propagator Triggering. | David A. Cohen, Christopher Jefferson, Karen E. Petrie |
| 2014 | CP | 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 |
| 2014 | CP | Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. | Peter Nightingale, zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2014 | ECAI | Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. | Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2013 | CP | 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 |
| 2013 | IJCAI | Extending Simple Tabular Reduction with Short Supports. | Christopher Jefferson, Peter Nightingale |
| 2012 | CP | The Semigroups of Order 10. | Andreas Distler, Christopher Jefferson, Tom W. Kelsey, Lars Kotthoff |
| 2012 | ICSE | An automated approach to generating efficient constraint solvers. | Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale |
| 2011 | AAAI | Extensible Automated Constraint Modelling. | Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich |
| 2011 | CP | Automatic Generation of Constraints for Partial Symmetry Breaking. | Christopher Jefferson, Karen E. Petrie |
| 2011 | IJCAI | Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. | Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2011 | MEMOCODE | Modern constraint solving by propagation. | Christopher Jefferson |
| 2011 | SAC | Combination: automated generation of puzzles with constraints. | Christopher Jefferson, Wendy Moncur, Karen E. Petrie |
| 2010 | CP | Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. | Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2010 | ECAI | 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 |
| 2009 | CP | Same-Relation Constraints. | Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivn |
| 2008 | CP | Structural Tractability of Propagated Constraints. | Martin James Green, Christopher Jefferson |
| 2008 | CP | Efficiently Solving Problems Where the Solutions Form a Group. | Karen E. Petrie, Christopher Jefferson |
| 2007 | AAAI | Data Structures for Generalised Arc Consistency for Extensional Constraints. | Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2007 | IJCAI | The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. | Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martnez Hernndez, Ian Miguel |
| 2006 | AAAI | Constraint Symmetry and Solution Symmetry. | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
| 2006 | CP | Watched Literals for Constraint Propagation in Minion. | Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2006 | ECAI | Minion: A Fast Scalable Constraint Solver. | Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2005 | CP | Symmetry Definitions for Constraint Satisfaction Problems. | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
| 2005 | IJCAI | The Rules of Constraint Modelling. | Alan M. Frisch, Christopher Jefferson, Bernadette Martnez Hernndez, Ian Miguel |
| 2004 | CP | Choosing Efficient Representations of Abstract Variables. | Christopher Jefferson |
| 2004 | ECAI | Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. | Alan M. Frisch, Christopher Jefferson, Ian Miguel |
| 2003 | CP | Constraints for Breaking More Row and Column Symmetries. | Alan M. Frisch, Christopher Jefferson, Ian Miguel |