| Automatically improving constraint models in Savile Row P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel, P Spracklen Artificial Intelligence 251 (C), 35-61, 2017 | 75 | 2017 |
| Cloud Benchmarking for Performance B Varghese, O Akgun, I Miguel, L Thai, A Barker IEEE CloudCom 2014, 2014 | 46 | 2014 |
| Extensible Automated Constraint Modelling O Akgun, I Miguel, C Jefferson, AM Frisch, B Hnich AAAI 2011 - Proceedings of the Twenty-Fifth AAAI Conference on Artificial …, 2011 | 45 | 2011 |
| Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel CP 2014 - Principles and Practice of Constraint Programming, 20th …, 2014 | 44 | 2014 |
| Automated Symmetry Breaking and Model Selection in Conjure O Akgun, AM Frisch, IP Gent, BS Hussain, C Jefferson, L Kotthoff, I Miguel, ... CP 2013 - Principles and Practice of Constraint Programming, 19th …, 2013 | 40 | 2013 |
| Cloud Benchmarking For Maximising Performance of Scientific Applications B Varghese, O Akgun, I Miguel, L Thai, A Barker IEEE Transactions on Cloud Computing, 1-1, 2016 | 37 | 2016 |
| Metamorphic testing of constraint solvers Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale Principles and Practice of Constraint Programming: 24th International …, 2018 | 32 | 2018 |
| Extensible Automated Constraint Modelling via Refinement of Abstract Problem Specifications Ö Akgün University of St Andrews, 2014 | 23 | 2014 |
| Enumeration of set-theoretic solutions to the Yang–Baxter equation Ö Akgün, M Mereb, L Vendramin Mathematics of Computation 91 (335), 1469-1481, 2022 | 20 | 2022 |
| Breaking Conditional Symmetry in Automated Constraint Modelling with Conjure O Akgun, IP Gent, C Jefferson, I Miguel, P Nightingale ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 …, 2014 | 20 | 2014 |
| Automatic discovery and exploitation of promising subproblems for tabulation Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale, AZ Salamon Principles and Practice of Constraint Programming: 24th International …, 2018 | 18 | 2018 |
| Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud L Thai, A Barker, B Varghese, O Akgun, I Miguel IEEE CloudCom 2014, 2014 | 15 | 2014 |
| Conjure: Automatic generation of constraint models from problem specifications Ö Akgün, AM Frisch, IP Gent, C Jefferson, I Miguel, P Nightingale Artificial Intelligence 310, 103751, 2022 | 14 | 2022 |
| Instance generation via generator instances Ö Akgün, N Dang, I Miguel, AZ Salamon, C Stone Principles and Practice of Constraint Programming: 25th International …, 2019 | 14 | 2019 |
| A Framework for Constraint Based Local Search using Essence Ö Akgün, S Attieh, IP Gent, C Jefferson, I Miguel, P Nightingale, ... IJCAI-ECAI 2018, the 27th International Joint Conference on Artificial …, 2018 | 13 | 2018 |
| Automatically Generating Streamlined Constraint Models with Essence and Conjure J Wetter, Ö Akgün, I Miguel International Conference on Principles and Practice of Constraint …, 2015 | 11 | 2015 |
| Effective encodings of constraint programming models to SMT E Davidson, Ö Akgün, J Espasa, P Nightingale Principles and Practice of Constraint Programming: 26th International …, 2020 | 10 | 2020 |
| Linking Scottish vital event records using family groups Ö Akgün, A Dearle, G Kirby, E Garrett, T Dalton, P Christen, C Dibben, ... Historical Methods: A Journal of Quantitative and Interdisciplinary History …, 2020 | 9 | 2020 |
| CSPLib: a problem library for constraints (1999) C Jefferson, I Miguel, B Hnich, T Walsh, IP Gent URL http://www. csplib. org, 2019 | 9 | 2019 |
| How People Visually Represent Discrete Constraint Problems X Zhu, MA Nacenta, O Akgun, P Nightingale IEEE transactions on visualization and computer graphics, 2019 | 9 | 2019 |
Ian MiguelUniversity of St Andrews在 st-andrews.ac.uk 的电子邮件经过验证
