Computer Science @ University of St Andrews

University of St Andrews crest

Prof Ian Miguel

Director of Research

Professor - School of Computer Science

Full research profile

Email: 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

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

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

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