Computer Science @ University of St Andrews

University of St Andrews crest

Dr Peter Nightingale

Dr Peter Nightingale

Position: Research Fellow

Research profile

Email (@st-andrews.ac.uk): pwn1

Office: JC0.15 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 3072

Home page: https://pn.host.cs.st-andrews.ac.uk

Recent Publications

Complexity of n-Queens completion (extended abstract)

Gent, IP, Jefferson, CA & Nightingale, PW 2018, Complexity of n-Queens completion (extended abstract). in J Lang (ed.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, pp. 5608-5611, 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, Stockholm, Sweden, 13/07/18. DOI: 10.24963/ijcai.2018/794

A framework for constraint based local search using ESSENCE

Akgun, O, Attieh, SWA, Gent, IP, Jefferson, CA, Miguel, IJ, Nightingale, PW, Salamon, AZ, Spracklen, P & Wetter, JP 2018, A framework for constraint based local search using ESSENCE. in J Lang (ed.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, pp. 1242-1248, 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, Stockholm, Sweden, 13/07/18. DOI: 10.24963/ijcai.2018/173

Metamorphic testing of constraint solvers

Akgun, O, Gent, IP, Jefferson, CA, Miguel, IJ & Nightingale, PW 2018, Metamorphic testing of constraint solvers. in J Hooker (ed.), Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Lecture Notes in Computer Science, Springer, 24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Lille, France, 27/08/18.

Automatic discovery and exploitation of promising subproblems for tabulation

Akgun, O, Gent, IP, Jefferson, CA, Miguel, IJ, Nightingale, PW & Salamon, AZ 2018, Automatic discovery and exploitation of promising subproblems for tabulation. in J Hooker (ed.), Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Lecture Notes in Computer Science, Springer, 24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Lille, France, 27/08/18.

A review of literature on parallel constraint solving

Automatically improving constraint models in Savile Row

Generalized support and formal development of constraint propagators

Complexity of n-Queens Completion

Exploiting short supports for improved encoding of arbitrary constraints into SAT

Akgün, Ö, Gent, IP, Jefferson, CA, Miguel, IJ & Nightingale, PW 2016, Exploiting short supports for improved encoding of arbitrary constraints into SAT. in M Rueher (ed.), Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9892, Springer, pp. 3-12, 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), Toulouse, France, 5/09/16. DOI: 10.1007/978-3-319-44953-1_1

Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row

Nightingale, P, Spracklen, P & Miguel, IJ 2015, Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row. in G Pesant (ed.), Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. vol. 9255, Lecture Notes in Computer Science, vol. 9255, Springer, pp. 330-350, 21st International Conference on Principles and Practice of Constraint Programming (CP 2015), Cork, Ireland, 31/08/15. DOI: 10.1007/978-3-319-23219-5_23