Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. - Iain Bate; Peter Nightingale; Anton Cervin (ECRTS, 2003)

Establishing timing requirements for control loops in real-time systems. - Iain Bate; John A. McDermid; Peter Nightingale (Microprocess. Microsystems, 2003)

Encoding Quantified CSPs as Quantified Boolean Formulae. - Ian P. Gent; Peter Nightingale; Andrew G. D. Rowley (ECAI, 2004)

Consistency for Quantified Constraint Satisfaction Problems. - Peter Nightingale (CP, 2005)

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

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. - Alan M. Frisch; Timothy J. Peugniez; Anthony J. Doggett; Peter Nightingale (J. Autom. Reason., 2005)

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

Search in the patience game 'Black Hole'. - Ian P. Gent; Christopher Jefferson; Tom W. Kelsey; Inês Lynce; Ian Miguel; Peter Nightingale; Barbara M. Smith; Armagan Tarim (AI Commun., 2007)

Consistency and the Quantified Constraint Satisfaction Problem. - Peter William Nightingale (2007)

Generalised arc consistency for the AllDifferent constraint: An empirical survey. - Ian P. Gent; Ian Miguel; Peter Nightingale (Artif. Intell., 2008)

Solving quantified constraint satisfaction problems. - Ian P. Gent; Peter Nightingale; Andrew G. D. Rowley; Kostas Stergiou 001 (Artif. Intell., 2008)

Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. - Sophie Huczynska; Paul McKay; Ian Miguel; Peter Nightingale (CP, 2009)

Modelling Equidistant Frequency Permutation Arrays in Constraints. - Ian P. Gent; Paul McKay; Ian Miguel; Peter Nightingale; Sophie Huczynska (SARA, 2009)

Non-binary quantified CSP: algorithms and modelling. - Peter Nightingale (Constraints An Int. J., 2009)

Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. - Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (CP, 2010)

Ensemble Classification for Constraint Solver Configuration. - Lars Kotthoff; Ian Miguel; Peter Nightingale (CP, 2010)

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 (ECAI, 2010)

Implementing logical connectives in constraint programming. - Christopher Jefferson; Neil C. A. Moore; Peter Nightingale; Karen E. Petrie (Artif. Intell., 2010)

Machine learning for constraint solver design – A case study for the alldifferent constraint - Ian P. Gent; Lars Kotthoff; Ian Miguel; Peter Nightingale (CoRR, 2010)

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

Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers. - Dharini Balasubramaniam; Lakshitha de Silva; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Peter Nightingale (WICSA, 2011)

The extended global cardinality constraint: An empirical survey. - Peter Nightingale (Artif. Intell., 2011)

An automated approach to generating efficient constraint solvers. - Dharini Balasubramaniam; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Peter Nightingale (ICSE, 2012)

Qualitative Modelling via Constraint Programming: Past, Present and Future - Thomas W. Kelsey; Lars Kotthoff; Christopher Jefferson; Stephen A. Linton; Ian Miguel; Peter Nightingale; Ian P. Gent (CoRR, 2012)

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 (CP, 2013)

Extending Simple Tabular Reduction with Short Supports. - Christopher Jefferson; Peter Nightingale (IJCAI, 2013)

The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract. - Peter Nightingale (IJCAI, 2013)

Short and Long Supports for Constraint Propagation. - Peter Nightingale; Ian P. Gent; Christopher Jefferson; Ian Miguel (J. Artif. Intell. Res., 2013)

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 (CP, 2014)

Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. - Peter Nightingale; Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel (CP, 2014)

Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. - Ozgur Akgun; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (ECAI, 2014)

Generating custom propagators for arbitrary constraints. - Ian P. Gent; Christopher Jefferson; Steve Linton; Ian Miguel; Peter Nightingale (Artif. Intell., 2014)

Qualitative modelling via constraint programming. - Thomas W. Kelsey; Lars Kotthoff; Christopher Jefferson; Stephen A. Linton; Ian Miguel; Peter Nightingale; Ian P. Gent (Constraints An Int. J., 2014)

Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. - Peter Nightingale; Patrick Spracklen; Ian Miguel (CP, 2015)

S-Crucial and Bicrucial Permutations with Respect to Squares. - Ian P. Gent; Sergey Kitaev; Alexander Konovalov 001; Steve Linton; Peter Nightingale (J. Integer Seq., 2015)

Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (CP, 2016)

Essence' Description. - Peter Nightingale; Andrea Rendl (CoRR, 2016)

Automatically improving constraint models in Savile Row. - Peter Nightingale; Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Patrick Spracklen (Artif. Intell., 2017)

Generalized support and formal development of constraint propagators. - James L. Caldwell; Ian P. Gent; Peter Nightingale (AI Commun., 2017)

Complexity of n-Queens Completion. - Ian P. Gent; Christopher Jefferson; Peter Nightingale (J. Artif. Intell. Res., 2017)

Metamorphic Testing of Constraint Solvers. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (CP, 2018)

Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon (CP, 2018)

Closed Frequent Itemset Mining with Arbitrary Side Constraints. - Gokberk Kocak; Ozgur Akgun; Ian Miguel; Peter Nightingale (ICDM Workshops, 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 (IJCAI, 2018)

A review of literature on parallel constraint solving. - Ian P. Gent; Ian Miguel; Peter Nightingale; Ciaran McCreesh; Patrick Prosser; Neil C. A. Moore; Chris Unsworth (Theory Pract. Log. Program., 2018)

Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. - Carlos Ansótegui; Miquel Bofill; Jordi Coll; Nguyen Dang 001; Juan Luis Esteban; Ian Miguel; Peter Nightingale; András Z. Salamon; Josep Suy; Mateu Villaret (CP, 2019)

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. - Saad Attieh; Nguyen Dang 001; Christopher Jefferson; Ian Miguel; Peter Nightingale (IJCAI, 2019)

Determining the Acceptability of Abstract Arguments with Graph Convolutional Networks. - Lars Malmqvist; Tommy Yuan; Peter Nightingale; Suresh Manandhar (SAFA@COMMA, 2020)

Effective Encodings of Constraint Programming Models to SMT. - Ewan Davidson; Özgür Akgün; Joan Espasa; Peter Nightingale (CP, 2020)

How People Visually Represent Discrete Constraint Problems. - Xu Zhu 005; Miguel A. Nacenta; Özgür Akgün; Peter Nightingale (IEEE Trans. Vis. Comput. Graph., 2020)

Improving Misinformation Detection in Tweets with Abstract Argumentation. - Lars Malmqvist; Tommy Yuan; Peter Nightingale (CMNA, 2021)

Towards Reformulating Essence Specifications for Robustness. - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon (CoRR, 2021)

A Framework for Generating Informative Benchmark Instances. - Nguyen Dang 001; Özgür Akgün; Joan Espasa; Ian Miguel; Peter Nightingale (CP, 2022)

Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. - Felix Ulrich-Oltean; Peter Nightingale; James Alfred Walker (CP, 2022)

Conjure: Automatic Generation of Constraint Models from Problem Specifications. - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (Artif. Intell., 2022)

SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. - Miquel Bofill; Jordi Coll; Peter Nightingale; Josep Suy; Felix Ulrich-Oltean; Mateu Villaret (Artif. Intell., 2022)

Savile Row Manual. - Peter Nightingale (CoRR, 2022)

Automatic Tabulation 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 (CoRR, 2022)

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)

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, 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)

Challenges in Modelling and Solving Plotting with PDDL. - Joan Espasa; Ian Miguel; Peter Nightingale; András Z. Salamon; Mateu Villaret (CoRR, 2023)

Towards a Model of Puzznic. - Joan Espasa; Ian P. Gent; Ian Miguel; Peter Nightingale; András Z. Salamon; Mateu Villaret (CoRR, 2023)

Learning to select SAT encodings for pseudo-Boolean and linear integer constraints. - Felix Ulrich-Oltean; Peter Nightingale; James Alfred Walker (Constraints An Int. J., 2023)

Enhancing Essay Argument Persuasiveness Prediction Using a RoBERTa-LSTM Hybrid Model. - Fahad M. Alzaidee; Tommy Yuan; Peter Nightingale; Khaled El Ebyary (CMNA@COMMA, 2024)

Cross-Paradigm Modelling: A Study of Puzznic. - Joan Espasa; Ian P. Gent; Ian Miguel; Peter Nightingale; András Z. Salamon; Mateu Villaret (ICTAI, 2024)

IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints. - Felix Ulrich-Oltean; Peter Nightingale; James Alfred Walker (ICTAI, 2024)

Approximating problems in abstract argumentation with graph convolutional networks. - Lars Malmqvist; Tangming Yuan; Peter Nightingale (Artif. Intell., 2024)

Plotting: a case study in lifted planning with constraints. - Joan Espasa; Ian Miguel; Peter Nightingale; András Z. Salamon; Mateu Villaret (Constraints An Int. J., 2024)

Constraint Models for Klondike. - Nguyen Dang 001; Ian P. Gent; Peter Nightingale; Felix Ulrich-Oltean; Jack Waller (CP, 2025)

Scheduling Telescope Observations for the European Southern Observatory (Short Paper). - Michael Prümm; Peter Nightingale; Felix Ulrich-Oltean (CP, 2025)

Athanor: Local search over abstract constraint specifications. - Saad Attieh; Nguyen Dang 001; Christopher Jefferson; Ian Miguel; Peter Nightingale (Artif. Intell., 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 (J. Artif. Intell. Res., 2025)