Computer Science @ University of St Andrews

University of St Andrews crest

Prof Ian Miguel

Prof Ian Miguel

Director of Research

Position: Professor

Research profile

Email (@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

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 review of literature on parallel constraint solving

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

Cloud benchmarking for maximising performance of scientific applications

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

Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row

Nightingale, P, Spracklen, P & Miguel, IJ 2015, Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row. in G Pesant (ed.), Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. vol. 9255, Lecture Notes in Computer Science, vol. 9255, Springer, pp. 330-350, 21st International Conference on Principles and Practice of Constraint Programming (CP 2015), Cork, Ireland, 31/08/15. DOI: 10.1007/978-3-319-23219-5_23