Prof Ian Miguel
Professor
Director of Research
- Phone
- +44 (0)1334 463248
- ijm@st-andrews.ac.uk
- Office
- C0.13
- Location
- Jack Cole Building (Computer Science )
- Office hours
PhD supervision
- Patrick Spracklen
- Saad Attieh
- Gokberk Kocak
- Jordina Francès de Mas
Selected publications and performances
-
Athanor: high-level local search over abstract constraint specifications in Essence
Attieh, S., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 10 Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 1056-1063Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution
-
Automatic streamlining for constrained optimisation
Spracklen, P., Dang, N., Akgun, O. & Miguel, I. J., 2019, Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 ? October 4, 2019, Proceedings. Schiex, T. & de Givry, S. (eds.). Cham: Springer, p. 366-383 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11802 LNCS).Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution
-
Cloud benchmarking for maximising performance of scientific applications
Varghese, B., Akgun, O., Miguel, I. J., Thai, L. T. & Barker, A. D., 1 Jan 2019, In : IEEE Transactions on Cloud Computing. 7, 1, p. 170-182 13 p., 7553491.Research output: Contribution to journal ? Article
-
Instance generation via generator instances
Akgun, O., Dang, N., Miguel, I. J., Salamon, A. Z. & Stone, C. L., 2019, Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 ? October 4, 2019, Proceedings. Schiex, T. & de Givry, S. (eds.). Cham: Springer, p. 3-19 (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 11802).Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution
-
Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining
Kocak, G., Akgün, Ö., Miguel, I. & Guns, T., 30 Sep 2019, The 18th workshop on Constraint Modelling and Reformulation (ModRef 2019), Proceedings. 14 p.Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution
-
Towards Lifted Encodings for Numeric Planning in Essence Prime
Espasa Arxer, J., Miguel, I. J., Villaret, M. & Coll, J., 30 Sep 2019.Research output: Contribution to conference ? Paper
-
A framework for constraint based local search using ESSENCE
Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution
-
A review of literature on parallel constraint solving
Gent, I. P., Miguel, I. J., Nightingale, P. W., McCreesh, C., Prosser, P., Moore, N. & Unsworth, C., Sep 2018, In : Theory and Practice of Logic Programming. 18, 5-6, p. 725-758 34 p.Research output: Contribution to journal ? Article
-
Automatic discovery and exploitation of promising subproblems for tabulation
Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 11008).Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution
-
Automatic generation and selection of streamlined constraint models via Monte Carlo search on a model lattice
Spracklen, P., Akgun, O. & Miguel, I. J., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Cham: Springer, p. 362-372 (Lecture Notes in Computer Science; vol. 11008).Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution