Peter Nightingale

According to our database, Peter Nightingale authored at least 65 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., September, 2023

Towards a Model of Puzznic.

Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret

CoRR, 2023

Challenges in Modelling and Solving Plotting with PDDL.

Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret

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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

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

Savile Row Manual.

Peter Nightingale

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

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

Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.

Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

A Framework for Generating Informative Benchmark Instances.

Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

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

Improving Misinformation Detection in Tweets with Abstract Argumentation.

Lars Malmqvist, Tommy Yuan, Peter Nightingale

Proceedings of the 21st Workshop on Computational Models of Natural Argument, 2021

2020

How People Visually Represent Discrete Constraint Problems.

Xu Zhu, Miguel A. Nacenta, Özgür Akgün, Peter Nightingale

IEEE Trans. Vis. Comput. Graph., 2020

Effective Encodings of Constraint Programming Models to SMT.

Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2020

Determining the Acceptability of Abstract Arguments with Graph Convolutional Networks.

Lars Malmqvist, Tommy Yuan, Peter Nightingale, Suresh Manandhar

Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), 2020

2019

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence.

Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

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, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret

Proceedings of the Principles and Practice of Constraint Programming, 2019

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

Complexity of n-Queens Completion (Extended Abstract).

Ian P. Gent, Christopher Jefferson, Peter Nightingale

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 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

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Closed Frequent Itemset Mining with Arbitrary Side Constraints.

Gokberk Kocak, Ozgur Akgun, Ian Miguel, Peter Nightingale

Proceedings of the 2018 IEEE International Conference on Data Mining Workshops, 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

Proceedings of the Principles and Practice of Constraint Programming, 2018

Metamorphic Testing of Constraint Solvers.

Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Complexity of n-Queens Completion.

Ian P. Gent, Christopher Jefferson, Peter Nightingale

J. Artif. Intell. Res., 2017

Generalized support and formal development of constraint propagators.

James L. Caldwell, Ian P. Gent, Peter Nightingale

AI Commun., 2017

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

2016

Essence' Description.

Peter Nightingale, Andrea Rendl

CoRR, 2016

Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT.

Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

S-Crucial and Bicrucial Permutations with Respect to Squares.

Ian P. Gent, Sergey Kitaev, Alexander Konovalov, Steve Linton, Peter Nightingale

J. Integer Seq., 2015

Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row.

Peter Nightingale, Patrick Spracklen, Ian Miguel

Proceedings of the Principles and Practice of Constraint Programming, 2015

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

Generating custom propagators for arbitrary constraints.

Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale

Artif. Intell., 2014

Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE.

Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 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

Proceedings of the Principles and Practice of Constraint Programming, 2014

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

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Short and Long Supports for Constraint Propagation.

Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel

J. Artif. Intell. Res., 2013

The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract.

Peter Nightingale

Proceedings of the IJCAI 2013, 2013

Extending Simple Tabular Reduction with Short Supports.

Christopher Jefferson, Peter Nightingale

Proceedings of the IJCAI 2013, 2013

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

Proceedings of the Principles and Practice of Constraint Programming, 2013

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

An automated approach to generating efficient constraint solvers.

Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

The extended global cardinality constraint: An empirical survey.

Peter Nightingale

Artif. Intell., 2011

Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers.

Dharini Balasubramaniam, Lakshitha de Silva, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints.

Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel

Proceedings of the IJCAI 2011, 2011

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

Implementing logical connectives in constraint programming.

Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie

Artif. Intell., 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

Proceedings of the ECAI 2010, 2010

Ensemble Classification for Constraint Solver Configuration.

Lars Kotthoff, Ian Miguel, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Generating Special-Purpose Stateless Propagators for Arbitrary Constraints.

Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Non-binary quantified CSP: algorithms and modelling.

Peter Nightingale

Constraints An Int. J., 2009

Modelling Equidistant Frequency Permutation Arrays in Constraints.

Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics.

Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Solving quantified constraint satisfaction problems.

Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley, Kostas Stergiou

Artif. Intell., 2008

Generalised arc consistency for the AllDifferent constraint: An empirical survey.

Ian P. Gent, Ian Miguel, Peter Nightingale

Artif. Intell., 2008

2007

Consistency and the Quantified Constraint Satisfaction Problem.

Peter William Nightingale

PhD thesis, 2007

Search in the patience game 'Black Hole'.

Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim

AI Commun., 2007

Data Structures for Generalised Arc Consistency for Extensional Constraints.

Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

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

QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems.

Ian P. Gent, Peter Nightingale, Kostas Stergiou

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Consistency for Quantified Constraint Satisfaction Problems.

Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Encoding Quantified CSPs as Quantified Boolean Formulae.

Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Establishing timing requirements for control loops in real-time systems.

Iain Bate, John A. McDermid, Peter Nightingale

Microprocess. Microsystems, 2003

Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems.

Iain Bate, Peter Nightingale, Anton Cervin

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003