Peter Nightingale

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 34

Top Topics

Extended Abstract

Constraint Solvers

Top Venues

Publications

Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean
Learning When to Use Automatic Tabulation in Constraint Model Reformulation. IJCAI (2023)
Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
Towards a Model of Puzznic. CoRR (2023)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). IJCAI (2023)
Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
Challenges in Modelling and Solving Plotting with PDDL. CoRR (2023)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). IJCAI (2023)
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints. Constraints An Int. J. 28 (3) (2023)
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. CoRR (2023)
Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
A Framework for Generating Informative Benchmark Instances. CP (2022)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Conjure: Automatic Generation of Constraint Models from Problem Specifications. Artif. Intell. 310 (2022)
Peter Nightingale
Savile Row Manual. CoRR (2022)
Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
A Framework for Generating Informative Benchmark Instances. CoRR (2022)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artif. Intell. 302 (2022)
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. CP (2022)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
Automatic Tabulation in Constraint Models. CoRR (2022)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
Towards Reformulating Essence Specifications for Robustness. CoRR (2021)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints. CoRR (2021)
Lars Malmqvist, Tommy Yuan, Peter Nightingale
Improving Misinformation Detection in Tweets with Abstract Argumentation. CMNA (2021)
Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale
Effective Encodings of Constraint Programming Models to SMT. CP (2020)
Xu Zhu, Miguel A. Nacenta, Özgür Akgün, Peter Nightingale
How People Visually Represent Discrete Constraint Problems. IEEE Trans. Vis. Comput. Graph. 26 (8) (2020)
Lars Malmqvist, Tommy Yuan, Peter Nightingale, Suresh Manandhar
Determining the Acceptability of Abstract Arguments with Graph Convolutional Networks. SAFA@COMMA (2020)
Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. CP (2019)
Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale
Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. IJCAI (2019)
Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth
A Review of Literature on Parallel Constraint Solving. CoRR (2018)
Gokberk Kocak, Ozgur Akgun, Ian Miguel, Peter Nightingale
Closed Frequent Itemset Mining with Arbitrary Side Constraints. ICDM Workshops (2018)
Ian P. Gent, Christopher Jefferson, Peter Nightingale
Complexity of n-Queens Completion (Extended Abstract). IJCAI (2018)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Metamorphic Testing of Constraint Solvers. CP (2018)
Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter
A Framework for Constraint Based Local Search using Essence. IJCAI (2018)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. CP (2018)
Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth
A review of literature on parallel constraint solving. Theory Pract. Log. Program. 18 (5-6) (2018)
Ian P. Gent, Christopher Jefferson, Peter Nightingale
Complexity of n-Queens Completion. J. Artif. Intell. Res. 59 (2017)
James L. Caldwell, Ian P. Gent, Peter Nightingale
Generalized support and formal development of constraint propagators. AI Commun. 30 (5) (2017)
Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen
Automatically improving constraint models in Savile Row. Artif. Intell. 251 (2017)
Peter Nightingale, Andrea Rendl
Essence' Description. CoRR (2016)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. CP (2016)
Ian P. Gent, Sergey Kitaev, Alexander Konovalov, Steve Linton, Peter Nightingale
S-Crucial and Bicrucial Permutations with Respect to Squares. J. Integer Seq. 18 (6) (2015)
Peter Nightingale, Patrick Spracklen, Ian Miguel
Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. CP (2015)
James L. Caldwell, Ian P. Gent, Peter Nightingale
Generalized Support and Formal Development of Constraint Propagators. CoRR (2015)
Peter Nightingale, Ian Philip Gent, Christopher Jefferson, Ian Miguel
Short and Long Supports for Constraint Propagation. CoRR (2014)
Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
Qualitative modelling via constraint programming. Constraints An Int. J. 19 (2) (2014)
Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. ECAI (2014)
Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel
Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. CP (2014)
Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale, Peter Nightingale
Discriminating Instance Generation for Automated Constraint Model Selection. CP (2014)
Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale
Generating custom propagators for arbitrary constraints. Artif. Intell. 211 (2014)
Peter Nightingale
The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract. IJCAI (2013)
Christopher Jefferson, Peter Nightingale
Extending Simple Tabular Reduction with Short Supports. IJCAI (2013)
Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
Short and Long Supports for Constraint Propagation. J. Artif. Intell. Res. 46 (2013)
Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
Automated Symmetry Breaking and Model Selection in Conjure. CP (2013)
Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
An automated approach to generating efficient constraint solvers. ICSE (2012)
Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
Qualitative Modelling via Constraint Programming: Past, Present and Future CoRR (2012)
Peter Nightingale
The extended global cardinality constraint: An empirical survey. Artif. Intell. 175 (2) (2011)
Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. IJCAI (2011)
Dharini Balasubramaniam, Lakshitha de Silva, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers. WICSA (2011)
Lars Kotthoff, Ian Miguel, Peter Nightingale
Ensemble Classification for Constraint Solver Configuration. CP (2010)
Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
Implementing logical connectives in constraint programming. Artif. Intell. 174 (16-17) (2010)
Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. CP (2010)
Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
Learning When to Use Lazy Learning in Constraint Solving. ECAI (2010)
Ian P. Gent, Lars Kotthoff, Ian Miguel, Peter Nightingale
Machine learning for constraint solver design -- A case study for the alldifferent constraint CoRR (2010)
Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska
Modelling Equidistant Frequency Permutation Arrays in Constraints. SARA (2009)
Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. CP (2009)
Peter Nightingale
Non-binary quantified CSP: algorithms and modelling. Constraints An Int. J. 14 (4) (2009)
Ian P. Gent, Ian Miguel, Peter Nightingale
Generalised arc consistency for the AllDifferent constraint: An empirical survey. Artif. Intell. 172 (18) (2008)
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley, Kostas Stergiou
Solving quantified constraint satisfaction problems. Artif. Intell. 172 (6-7) (2008)
Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim
Search in the patience game 'Black Hole'. AI Commun. 20 (3) (2007)
Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI (2007)
Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. J. Autom. Reason. 35 (1-3) (2005)
Peter Nightingale
Consistency for Quantified Constraint Satisfaction Problems. CP (2005)
Ian P. Gent, Peter Nightingale, Kostas Stergiou
QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. IJCAI (2005)
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley
Encoding Quantified CSPs as Quantified Boolean Formulae. ECAI (2004)
Iain Bate, John Alexander McDermid, Peter Nightingale
Establishing timing requirements for control loops in real-time systems. Microprocess. Microsystems 27 (4) (2003)
Iain Bate, Peter Nightingale, Anton Cervin
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. ECRTS (2003)