| 2026 | AAAI | Approximating Problems in Abstract Argumentation with Graph Convolutional Networks (Abstract Reprint). | Lars Malmqvist, Tangming Yuan, Peter Nightingale |
| 2025 | CP | Constraint Models for Klondike. | Nguyen Dang, Ian P. Gent, Peter Nightingale, Felix Ulrich-Oltean, Jack Waller |
| 2025 | CP | Scheduling Telescope Observations for the European Southern Observatory (Short Paper). | Michael Prmm, Peter Nightingale, Felix Ulrich-Oltean |
| 2024 | ICTAI | Cross-Paradigm Modelling: A Study of Puzznic. | Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Mateu Villaret |
| 2024 | ICTAI | IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints. | Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker |
| 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 |
| 2023 | IJCAI | 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 |
| 2023 | IJCAI | Learning When to Use Automatic Tabulation in Constraint Model Reformulation. | Carlo Cena, zgr Akgn, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean |
| 2022 | CP | A Framework for Generating Informative Benchmark Instances. | Nguyen Dang, zgr Akgn, Joan Espasa, Ian Miguel, Peter Nightingale |
| 2022 | CP | Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. | Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker |
| 2020 | COMMA | Determining the Acceptability of Abstract Arguments with Graph Convolutional Networks. | Lars Malmqvist, Tommy Yuan, Peter Nightingale, Suresh Manandhar |
| 2020 | CP | Effective Encodings of Constraint Programming Models to SMT. | Ewan Davidson, zgr Akgn, Joan Espasa, Peter Nightingale |
| 2019 | CP | Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. | Carlos Anstegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Josep Suy, Mateu Villaret |
| 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 | ICDM | Closed Frequent Itemset Mining with Arbitrary Side Constraints. | Gokberk Kocak, Ozgur Akgun, Ian Miguel, Peter Nightingale |
| 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 |
| 2015 | CP | Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. | Peter Nightingale, Patrick Spracklen, Ian Miguel |
| 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 |
| 2013 | IJCAI | The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract. | Peter Nightingale |
| 2012 | ICSE | An automated approach to generating efficient constraint solvers. | Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale |
| 2011 | IJCAI | Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. | Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2010 | CP | Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. | Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2010 | CP | Ensemble Classification for Constraint Solver Configuration. | Lars Kotthoff, 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 | Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. | Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale |
| 2007 | AAAI | Data Structures for Generalised Arc Consistency for Extensional Constraints. | Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2005 | CP | Consistency for Quantified Constraint Satisfaction Problems. | Peter Nightingale |
| 2005 | IJCAI | QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. | Ian P. Gent, Peter Nightingale, Kostas Stergiou |
| 2004 | ECAI | Encoding Quantified CSPs as Quantified Boolean Formulae. | Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley |
| 2003 | ECRTS | Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. | Iain Bate, Peter Nightingale, Anton Cervin |