Sledovat
Patrick Spracklen
Patrick Spracklen
E-mailová adresa ověřena na: st-andrews.ac.uk
Název
Citace
Citace
Rok
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
602017
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
312015
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
122018
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
52018
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
42020
Automatic streamlining for constrained optimisation
P Spracklen, N Dang, Ö Akgün, I Miguel
Principles and Practice of Constraint Programming: 25th International …, 2019
32019
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
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
Streamlined constraint reasoning: an automated approach from high level constraint specifications
P Spracklen
The University of St Andrews, 2022
2022
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–9