Nightingale, Peter

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 2023 Learning When to Use Automatic Tabulation in Constraint Model Reformulation Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean

IJCAI 2023 SAT Encodings for Pseudo-Boolean Constraints Together with At-Most-One Constraints (Extended Abstract) Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret

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 2013 The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract Peter Nightingale

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

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

IJCAI 2005 QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems Ian P. Gent, Peter Nightingale, Kostas Stergiou