Patrick Spracklen
Patrick Spracklen
Bestätigte E-Mail-Adresse bei st-andrews.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
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
212015
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
92018
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8