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.29 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 3072

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

Recent Publications

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-9 September. 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-4 September. DOI: 10.1007/978-3-319-23219-5_23

Bayesian spatial NBDA for diffusion data with home-base coordinates

S-crucial and bicrucial permutations with respect to squares

Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

Nightingale, P, Akgun, O, Gent, IP, Jefferson, C & Miguel, I 2014, Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. in B OSullivan (ed.), Principles and Practice of Constraint Programming. Lecture Notes in Computer Science, vol. 8656, Springer, Cham, pp. 590-605, 20th International Conference on the Principles and Practice of Constraint Programming (CP 2014), France, 8-12 September. DOI: 10.1007/978-3-319-10428-7_43

Generating custom propagators for arbitrary constraints

Qualitative modelling via constraint programming