Prof Ian Miguel
Director of Research
Position: Professor
Research profileEmail (@st-andrews.ac.uk): ijm
Office: JC0.20 - Jack Cole Building, North Haugh
Phone: +44 (0)1334 46 3248
Home page: https://ianm.host.cs.st-andrews.ac.uk
Recent Publications
Closed frequent itemset mining with arbitrary side constraints
Kocak, G, Akgun, O, Miguel, IJ & Nightingale, PW 2018, Closed frequent itemset mining with arbitrary side constraints. in 2018 IEEE International Conference on Data Mining (ICDM). IEEE Computer Society, Workshop on Optimization Based Techniques for Emerging Data Mining Problems (OEDM 2018), Sentosa Island, Singapore, 17/11/18.
A review of literature on parallel constraint solving
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. DOI: 10.1017/S1471068418000340
Modelling Langford's Problem: a viewpoint for search
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.
A framework for constraint based local search using ESSENCE
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. DOI: 10.24963/ijcai.2018/173
Automatic generation and selection of streamlined constraint models via Monte Carlo search on a model lattice
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. DOI: 10.1007/978-3-319-98334-9_24
Metamorphic testing of constraint solvers
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. DOI: 10.1007/978-3-319-98334-9_46
Automatic discovery and exploitation of promising subproblems for tabulation
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. DOI: 10.1007/978-3-319-98334-9_1
Automatically improving constraint models in Savile Row
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. DOI: 10.1016/j.artint.2017.07.001
Cloud benchmarking for maximising performance of scientific applications
Varghese, B, Akgun, O, Miguel, IJ, Thai, LT & Barker, AD 2016, 'Cloud benchmarking for maximising performance of scientific applications' IEEE Transactions on Cloud Computing, vol. PP, no. 99, 7553491. DOI: 10.1109/TCC.2016.2603476
Exploiting short supports for improved encoding of arbitrary constraints into SAT
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. DOI: 10.1007/978-3-319-44953-1_1
Follow us: