Prof Ian Miguel
Director of Research
Professor - School of Computer Science
Full research profileEmail: ijm@st-andrews.ac.uk
Office: JC0.20 - Jack Cole Building, North Haugh
Phone: +44 (0)1334 46 3248
Web: https://ianm.host.cs.st-andrews.ac.uk
Recent Publications
Varghese, B, Akgun, O, Miguel, IJ, Thai, LT & Barker, AD 2019, 'Cloud benchmarking for maximising performance of scientific applications' IEEE Transactions on Cloud Computing, vol. 7, no. 1, 7553491, pp. 170-182. https://doi.org/10.1109/TCC.2016.2603476
Kocak, G, Akgun, O, Miguel, IJ & Nightingale, PW 2018, Closed frequent itemset mining with arbitrary side constraints. in H Tong, ZJ Li, F Zhu & J Yu (eds), 2018 IEEE International Conference on Data Mining Workshops (ICDMW)., 8637581, IEEE Computer Society, pp. 1224 - 1232, Workshop on Optimization Based Techniques for Emerging Data Mining Problems (OEDM 2018), Sentosa Island, Singapore, 17/11/18. https://doi.org/10.1109/ICDMW.2018.00175
Gent, IP, Miguel, IJ, Nightingale, PW, McCreesh, C, Prosser, P, Moore, N & Unsworth, C 2018, 'A review of literature on parallel constraint solving' Theory and Practice of Logic Programming, vol. 18, no. 5-6, pp. 725-758. https://doi.org/10.1017/S1471068418000340
Akgün, Ö & Miguel, I 2018, Modelling Langford's Problem: a viewpoint for search. in The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. 24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Lille, France, 27/08/18.
Akgun, O, Attieh, SWA, Gent, IP, Jefferson, CA, Miguel, IJ, Nightingale, PW, Salamon, AZ, Spracklen, P & Wetter, JP 2018, A framework for constraint based local search using ESSENCE. in J Lang (ed.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, pp. 1242-1248, 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, Stockholm, Sweden, 13/07/18. https://doi.org/10.24963/ijcai.2018/173
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, vol. 11008, Springer, pp. 3-12, 24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Lille, France, 27/08/18. https://doi.org/10.1007/978-3-319-98334-9_1
Spracklen, P, Akgun, O & Miguel, IJ 2018, Automatic generation and selection of streamlined constraint models via Monte Carlo search on a model lattice. 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, vol. 11008, Springer, Cham, pp. 362-372. https://doi.org/10.1007/978-3-319-98334-9_24
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, vol. 11008, Springer, pp. 727-736, 24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Lille, France, 27/08/18. https://doi.org/10.1007/978-3-319-98334-9_46
Nightingale, P, Akgün, Ö, Gent, IP, Jefferson, C, Miguel, I & Spracklen, P 2017, 'Automatically improving constraint models in Savile Row' Artificial Intelligence, vol. 251, pp. 35-61. https://doi.org/10.1016/j.artint.2017.07.001
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. https://doi.org/10.1007/978-3-319-44953-1_1
Follow us: