Patrick Spracklen

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Constraint Problems

Forward Checking

Disjunctive Temporal

Top Venues

Publications

Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
Automated streamliner portfolios for constraint satisfaction problems. Artif. Intell. 319 (2023)
Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem. CoRR (2020)
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone
Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. CPAIOR (2020)
Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
Automatic Streamlining for Constrained Optimisation. CP (2019)
Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter
A Framework for Constraint Based Local Search using Essence. IJCAI (2018)
Patrick Spracklen, Özgür Akgün, Ian Miguel
Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. CP (2018)
Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen
Automatically improving constraint models in Savile Row. Artif. Intell. 251 (2017)
Peter Nightingale, Patrick Spracklen, Ian Miguel
Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. CP (2015)