Research output per year
Research output per year
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
Dive into the research topics where Ian James Miguel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Automated nogood-filtered fine-grained streamlining: a case study on covering arrays
Yazicilar, O. Y., Akgun, O. & Miguel, I. J., 2 Sept 2024, ModRef 2024 - The 23rd workshop on Constraint Modelling and Reformulation (ModRef). 18 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Automatic feature learning for Essence: a case study on car sequencing
Pellegrino, A., Akgün, Ö., Dang, N., Kiziltan, Z. & Miguel, I., 23 Sept 2024, ModRef 2024 - The 23rd workshop on Constraint Modelling and Reformulation (ModRef). 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Cost-Efficient Training for Automated Algorithm Selection
Kus, E., Miguel, I. J., Akgun, O. & Dang, N., 12 Jul 2024, (Accepted/In press) Cost-Efficient Training for Automated Algorithm Selection. PMLRResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Frugal Algorithm Selection
Kus, E., Akgun, O., Miguel, I. J. & Dang, N., 29 Aug 2024, Frugal Algorithm Selection. Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 307. p. 38:1 15 p. 38Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Plotting: a case study in lifted planning with constraints
Espasa, J., Miguel, I. J., Nightingale, P., Salamon, A. Z. & Villaret, M., 13 Sept 2024, (E-pub ahead of print) In: Constraints. First online, 40 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Datasets
-
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
-
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
-
Streamlined Constraint Reasoning: An Automated Approach from High Level Constraint Specifications (thesis data)
Spracklen, P. (Creator), Miguel, I. J. (Supervisor), Akgun, O. (Supervisor) & Dang, N. T. T. (Contributor), University of St Andrews, 18 Aug 2022
DOI: 10.17630/9805a859-d08d-4390-b986-7fce98f7fe70
Dataset: Thesis dataset
File -
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
-
Instance Generation via Generator Instances (dataset)
Akgun, O. (Creator), Dang, N. T. T. (Creator), Miguel, I. J. (Creator), Salamon, A. (Creator) & Stone, C. L. (Creator), GitHub, 2019
https://github.com/stacs-cp/CP2019-InstanceGen
Dataset
-
The Role of the University in the Ethical Digital Nation
Ardati, A. A. (CoPI), Ross, K. (CoPI), Voss, A. (CoPI), MacKenzie, M. L. (Researcher), Miguel, I. J. (Researcher), Miguel, A. R. (Researcher), Balasubramaniam, D. (Researcher), Sarkar, S. (Researcher), Jacques, J. T. (Researcher), Galan-Diaz, C. (Researcher), Zhu, X. (Researcher) & Crean, A. P. (Researcher)
Scotland’s Future Series - University of St Andrews
1/08/24 → 31/01/25
Project: Standard
-
-
IAA 2017-2020 I Miguel: Releasing Conjure: The Automated Constraint Modelling Tool
Miguel, I. J. (PI) & Gent, I. P. (CoI)
1/06/17 → 31/10/17
Project: Standard
-
Releasing Conjecture: Releasing Conjecture: The Automated Constraint Modelling Tool
Gent, I. P. (PI) & Miguel, I. J. (CoI)
1/01/16 → 31/03/17
Project: Standard