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

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, CP 2014. Lecture Notes in Computer Science, vol. 8656, SPRINGER INT PUBLISHING AG, CHAM, pp. 590-605, 20th International Conference on the Principles and Practice of Constraint Programming (CP), 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.

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.