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

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

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

Short and long supports for constraint propagation

An Evaluation of Machine Learning in Algorithm Selection for Search Problems