| 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 | 89 | 2017 |
| Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row P Nightingale, P Spracklen, I Miguel Principles and Practice of Constraint Programming: 21st International …, 2015 | 37 | 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 | 14 | 2018 |
| 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 Integration of Constraint Programming, Artificial Intelligence, and …, 2020 | 12 | 2020 |
| Automatic generation and selection of streamlined constraint models via monte carlo search on a model lattice P Spracklen, Ö Akgün, I Miguel Principles and Practice of Constraint Programming: 24th International …, 2018 | 7 | 2018 |
| Automated streamliner portfolios for constraint satisfaction problems P Spracklen, N Dang, Ö Akgün, I Miguel Artificial Intelligence 319, 103915, 2023 | 6 | 2023 |
| Automatic streamlining for constrained optimisation P Spracklen, N Dang, Ö Akgün, I Miguel Principles and Practice of Constraint Programming: 25th International …, 2019 | 5 | 2019 |
| 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 | 3 | 2020 |
| Streamlined constraint reasoning: an automated approach from high level constraint specifications P Spracklen The University of St Andrews, 2022 | 1 | 2022 |
| 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 |
