Computer Science @ University of St Andrews

University of St Andrews crest

Prof Ian Miguel

Prof Ian Miguel

Position: Professor

Research profile

Email: ijm@st-andrews.ac.uk

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

Generating custom propagators for arbitrary constraints

Qualitative modelling via constraint programming

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.

An Automated Approach to Generating Efficient Constraint Solvers

Balasubramaniam, D , Jefferson, CA , Kotthoff, L , Miguel, IJ & Nightingale, P 2012, ' An Automated Approach to Generating Efficient Constraint Solvers '. in 2012 34th international conference on software engineering (ICSE 2012): Zurich, Switzerland 2-9 June 2012. IEEE, pp. 661-671, 34th International Conference on Software Engineering, ICSE 2012, Zurich, Switzerland, 2-9 June.

Dominion: an architecture-driven approach to generating efficient constraint solvers

Balasubramaniam, D , De Silva, LR , Jefferson, CA , Kotthoff, L , Miguel, IJ & Nightingale, P 2011, ' Dominion: an architecture-driven approach to generating efficient constraint solvers '. in Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA): Boulder, Colorado, USA 20-24 June 2011. IEEE Computer Society, Los Alamiros, CA, pp. 228-231, 9th Working IEEE/IFIP Conference on Software Architecture, Boulder, United States, 20-24 June.

Extensible Automated Constraint Modelling

Akgun, O , Miguel, IJ , Jefferson, CA , Frisch, AM & Hnich, B 2011, ' Extensible Automated Constraint Modelling '. in Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. AAAI Press, pp. 4-11, 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, San Francisco, United States, 7-11 August.

Exploiting short supports for generalised arc consistency for arbitrary constraints

Gent, IP , Jefferson, CA , Miguel, IJ & Nightingale, P 2011, ' Exploiting short supports for generalised arc consistency for arbitrary constraints '. in T Walsh (ed.), Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011): Barcelona, Catalonia, Spain, July 16-22, 2011. IJCAI/AAAI, Menlo Park, California, pp. 623-628, Twenty-Second International Joint Conference on Artificial Intelligence, Barcelona, Spain, 16-22 July.

Optimising Quantified Expressions in Constraint Models