You are here:

Dr Ian Miguel

Reader

Email: ijm@st-andrews.ac.uk

Room: 0.20 - Jack Cole Building, North Haugh

Direct phone: +44 (0)1334 463248

Home page: http://ianm.host.cs.st-andrews.ac.uk

Recent Publications

Kotthoff, L , Gent, IP & Miguel, IJ 2012, ' An Evaluation of Machine Learning in Algorithm Selection for Search Problems ' AI Communications , vol 25, no. 3, pp. 257-270.

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

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.

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.

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.

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.

Moore, NCA , Gent, IP & Miguel, IJ 2010, ' Lazy Explanations for Constraint Propagators '. in M Carro & R Pena (eds), Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages. vol. 5937, Lecture Notes in Computer Science, Springer, pp. 217-233.

Kotthoff, L , Miguel, IJ & Nightingale, PW 2010, ' Ensemble Classification for Constraint Solver Configuration '. in D Cohen (ed.), Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming. vol. 6308, Lecture Notes in Computer Science, Springer, pp. 321-329.