Patrick Spracklen
Patrick Spracklen
Verified email at st-andrews.ac.uk
Title
Cited by
Cited by
Year
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
372017
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
222015
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
102018
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
42018
Automatic streamlining for constrained optimisation
P Spracklen, N Dang, ÷ AkgŁn, I Miguel
International Conference on Principles and Practice of Constraint†…, 2019
22019
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
12020
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
12017
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
The system can't perform the operation now. Try again later.
Articles 1–8