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: http://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 Proceedings of the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015). Lecture Notes in Computer Science, Springer, 21st International Conference on Principles and Practice of Constraint Programming (CP 2015), Cork, Ireland, 31-4 September.

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.

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.

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.

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.

Short and long supports for constraint propagation

An Evaluation of Machine Learning in Algorithm Selection for Search Problems

An Empirical Study of Learning and Forgetting Constraints

Gent, IP , Miguel, IJ & Moore, NCA 2012, ' An Empirical Study of Learning and Forgetting Constraints ' AI Communications , vol 25, no. 2, pp. 191-208.