Computer Science @ University of St Andrews

University of St Andrews crest

Prof Ian Gent

Prof Ian Gent

Position: Professor

Research profile

Email (@st-andrews.ac.uk): ian.gent

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

Phone: +44 (0)1334 46 3247

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

Research Overview

Combinatorial search problems in artificial intelligence.


Current Research Projects include :


Integrating modern tools for computational group theory with constraint programming tools to solve difficult problems in areas such as scheduling and timetabling.


This is leading to exciting interdisciplinary research between Artificial Intelligence and Mathematics.

Recent Publications

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.

Complexity of n-Queens Completion (Extended Abstract)

Gent, IP, Jefferson, CA & Nightingale, PW 2018, Complexity of n-Queens Completion (Extended Abstract). in Proceedings of the 27th International Joint Conference on Artificial Intelligence. 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, Stockholm, Sweden, 13/07/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

Persistent identification and citation of software

Jones, CM, Matthews, B, Gent, I, Griffin, T & Tedds, J 2016, 'Persistent identification and citation of software' International Journal of Digital Curation, vol 11, no. 2, pp. 104-114. DOI: 10.2218/ijdc.v11i2.422

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

S-crucial and bicrucial permutations with respect to squares