Computer Science @ University of St Andrews

University of St Andrews crest

Prof Ian Miguel

Prof Ian Miguel

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

Exploiting short supports for improved encoding of arbitrary constraints into SAT

Akgun, O, 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. Springer, 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), Toulouse, France, 5-9 September.

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: Proceedings of the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015). 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-4 September., 10.1007/978-3-319-23219-5_23

Cloud-based e-Infrastructure for scheduling astronomical observations

Wetter, JP, Akgun, O, Barker, AD, Dominik, M, Miguel, IJ & Varghese, B 2015, 'Cloud-based e-Infrastructure for scheduling astronomical observations'. in 2015 IEEE 11th International Conference on e-Science (e-Science) (2015). IEEE Computer Society, pp. 362-370, 11th IEEE International Conference on eScience, Munich, Germany, 31-4 September., 10.1109/eScience.2015.54

Automatically generating streamlined constraint models with ESSENCE and CONJURE

Wetter, J, Akgün, Ö & Miguel, I 2015, 'Automatically generating streamlined constraint models with ESSENCE and CONJURE'. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 9255, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9255, Springer-Verlag, pp. 480-496, 21st International Conference on the Principles and Practice of Constraint Programming, CP 2015, Cork, Ireland, 31-4 September., 10.1007/978-3-319-23219-5_34

Cloud benchmarking for performance

Varghese, B, Akgun, O, Miguel, I, Thai, L & Barker, A 2014, 'Cloud benchmarking for performance'. in 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014). IEEE, pp. 535-540., 10.1109/CloudCom.2014.28

Optimal deployment of geographically distributed workflow engines on the Cloud

Thai, L, Barker, A, Varghese, B, Akgun, O & Miguel, I 2014, 'Optimal deployment of geographically distributed workflow engines on the Cloud'. in 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014). IEEE, pp. 811-816., 10.1109/CloudCom.2014.30

Automatically improving constraint models in Savile Row through associative-commutative common subexpression elimination

Nightingale, P, Akguen, O, Gent, IP, Jefferson, C & Miguel, I 2014, 'Automatically improving constraint models in Savile Row through associative-commutative common subexpression elimination'. in B OSullivan (ed.), Principles and Practice of Constraint Programming. Lecture Notes in Computer Science, vol. 8656, Springer International Publishing, Cham, pp. 590-605, 20th International Conference on the Principles and Practice of Constraint Programming (CP 2014), France, 8-12 September., 10.1007/978-3-319-10428-7_43

Generating custom propagators for arbitrary constraints

Qualitative modelling via constraint programming

Breaking conditional symmetry in automated constraint modelling with CONJURE

Akgun, O, Gent, IP, Jefferson, C, Miguel, I & Nightingale, P 2014, 'Breaking conditional symmetry in automated constraint modelling with CONJURE'. in T Schaub, G Friedrich & B O'Sullivan (eds), ECAI 2014. vol. 263, Frontiers in Artificial Intelligence and Applications, vol. 263, IOS Press, pp. 3-8., 10.3233/978-1-61499-419-0-3