| Automatically improving constraint models in Savile Row P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel, P Spracklen Artificial Intelligence 251, 35-61, 2017 | 37 | 2017 |
| Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row P Nightingale, P Spracklen, I Miguel International Conference on Principles and Practice of Constraint …, 2015 | 21 | 2015 |
| A framework for constraint based local search using Essence O Akgun, SWA Attieh, IP Gent, CA Jefferson, IJ Miguel, PW Nightingale, ... Proceedings of the Twenty-Seventh International Joint Conference on …, 2018 | 9 | 2018 |
| Automatic generation and selection of streamlined constraint models via monte carlo search on a model lattice P Spracklen, Ö Akgün, I Miguel International Conference on Principles and Practice of Constraint …, 2018 | 4 | 2018 |
| Automatic streamlining for constrained optimisation P Spracklen, N Dang, Ö Akgün, I Miguel International Conference on Principles and Practice of Constraint …, 2019 | 2 | 2019 |
| Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP Ö Akgün, N Dang, I Miguel, AZ Salamon, P Spracklen, C Stone International Conference on Integration of Constraint Programming …, 2020 | 1 | 2020 |
| Automatically improving constraint models in Savile Row: Supplementary material P Nightingale, O Akgün, IP Gent, C Jefferson, I Miguel, P Spracklen Tech. rep., University of St Andrews, 2017 | 1 | 2017 |
| Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem P Spracklen, N Dang, Ö Akgün, I Miguel arXiv preprint arXiv:2009.10152, 2020 | | 2020 |
