Jefferson, Christopher

14 publications

JAIR 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

IJCAI 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

IJCAI 2019 Athanor: High-Level Local Search over Abstract Constraint Specifications in Essence Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale

IJCAI 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

JAIR 2017 Complexity of N-Queens Completion Ian P. Gent, Christopher Jefferson, Peter Nightingale

IJCAI 2013 Extending Simple Tabular Reduction with Short Supports Christopher Jefferson, Peter Nightingale

JAIR 2013 Short and Long Supports for Constraint Propagation Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel

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

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

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

IJCAI 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

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

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