Personal profile
Research overview
I work in Artificial Intelligence, specifically in solving complex combinatorial optimisation problems, such as planning, scheduling, or routing with technologies such as Constraint Programming or Propositional Satisfiability (SAT).
Much of our work in St Andrews has focused on the important problem of modelling. A model in this sense is the description of the problem we wish to solve suitable for input to an automated solver - the quality of the model has a very significant impact on solving performance. We have developed a Constraint Modelling Pipeline to automate this modelling process, compiling a high-level description of a problem down to a variety of powerful solving technologies.
Profile Keywords
Artificial Intelligence, Constraint Programming, Constraint Modelling, Propositional Satisfiability, SAT, Combinatorial Optimisation.
Biography
I am a Professor and Head of School of the School of Computer Science at St Andrews, which I joined in 2004.
I have worked in Artificial Intelligence for over 25 years, specialising in solving combinatorial optimisation problems through Constraint Programming and related technologies.
Teaching activity
I presently teach on:
- CS4402: Constraint Programming
- CS4303: Video Games
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Towards generating discriminating instances for multi-agent pathfinding: a case study with shelf-based warehouse scenarios
Wu, T., Barták, R., Dang, N., Miguel, I. & Švancara, J., 10 Feb 2026, p. 1-5. 5 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile -
An evaluation of domain-agnostic representations to enable multi-task learning in combinatorial optimisation
Stone, C., Renau, Q., Miguel, I. & Hart, E., 3 Jan 2025, Learning and intelligent optimization: 18th international conference, LION 18, Ischia Island, Italy, June 9–13, 2024, revised selected papers. Festa, P., Ferone, D., Pastore, T. & Pisacane, O. (eds.). Cham: Springer Nature, p. 399-414 16 p. (Lecture notes in computer science; vol. 14990).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Athanor: Local search over abstract constraint specifications
Attieh, S., Dang, N., Jefferson, C., Miguel, I. J. & Nightingale, P., Mar 2025, In: Artificial Intelligence. 340, 39 p., 104277.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Cross-paradigm modelling: a study of Puzznic
Espasa, J., Gent, I. P., Miguel, I., Nightingale, P., Salamon, A. Z. & Villaret, M., 28 Jan 2025, Proceedings - 2024 IEEE 36th international conference on tools with artificial intelligence (ICTAI 2024). Piscataway, NJ: IEEE Computer Society, p. 89-95 7 p. 10849509. (Proceedings - International conference on tools with artificial intelligence (ICTAI)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
TabID: automatic identification and tabulation of subproblems in constraint models
Akgun, O., Gent, I. P., Jefferson, C. A., Kiziltan, Z., Miguel, I. J., Nightingale, P., Salamon, A. Z. & Ulrich-Oltean, F., 30 Mar 2025, In: Journal of Artificial Intelligence Research. 82, p. 1999-2056 58 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Datasets
-
Automatic discovery and exploitation of promising subproblems for tabulation (dataset)
Akgun, O. (Creator), Gent, I. P. (Creator), Jefferson, C. A. (Creator), Miguel, I. J. (Creator), Nightingale, P. W. (Creator) & Salamon, A. Z. (Creator), GitHub, 3 Jul 2018
https://github.com/stacs-cp/cp2018-tabulation
Dataset
-
Modelling Langford's Problema viewpoint for search: (dataset)
Akgun, O. (Creator) & Miguel, I. J. (Creator), GitHub, 11 Jul 2018
https://github.com/stacs-cp/ModRef2018-Langfords
Dataset
-
Closed frequent itemset mining with arbitrary side constraints (dataset)
Kocak, G. (Creator), Akgun, O. (Creator), Miguel, I. J. (Creator) & Nightingale, P. W. (Creator), GitHub, 2018
https://github.com/stacs-cp/OEDM18-mining
Dataset
-
Experimental Data for TabID Journal Paper
Akgün, Ö. (Creator), Gent, I. (Creator), Jefferson, C. (Creator), Kiziltan, Z. (Creator), Miguel, I. (Creator), Nightingale, P. (Creator), Salamon, A. Z. (Creator), Ulrich-Oltean, F. (Creator) & Ulrich-Oltean, F. (Contributor), University of York, 28 Jan 2025
DOI: 10.15124/c24d61e6-ee25-40ed-828d-b941158f862f
Dataset
-
An Evaluation of Domain-Agnostic Representations to Enable Multi-task Learning in Combinatorial Optimisation (code)
Stone, C. L. (Creator) & Miguel, I. J. (Creator), GitHub, 2025
https://github.com/cls00/LION18-AlgoSelection
Dataset: Software
Projects
- 11 Finished
-
The Role of the University in the Ethical Digital Nation
Ardati, A. A. (CoPI), Ross, K. (CoPI), Voss, A. (CoPI), MacKenzie, M. (Researcher), Miguel, I. (Researcher), Miguel, A. (Researcher), Balasubramaniam, D. (Researcher), Sarkar, S. (Researcher), Jacques, J. (Researcher), Galan-Diaz, C. (Researcher), Zhu, X. (Researcher), Crean, A. (Researcher) & Venters, T. (Researcher)
Scotland’s Future Series - University of St Andrews
1/08/24 → 20/06/25
Project: Standard
-
-
IAA 2017-2020 I Miguel: Releasing Conjure: The Automated Constraint Modelling Tool
Miguel, I. (PI) & Gent, I. (CoI)
1/06/17 → 31/10/17
Project: Standard
-
Releasing Conjecture: Releasing Conjecture: The Automated Constraint Modelling Tool
Gent, I. (PI) & Miguel, I. (CoI)
1/01/16 → 31/03/17
Project: Standard