Patrick Spracklen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2015–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CPAIOR | Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. | zgr Akgn, Nguyen Dang, Ian Miguel, Andrs Z. Salamon, Patrick Spracklen, Christopher Stone |
| 2019 | CP | Automatic Streamlining for Constrained Optimisation. | Patrick Spracklen, Nguyen Dang, zgr Akgn, Ian Miguel |
| 2018 | CP | Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. | Patrick Spracklen, zgr Akgn, Ian Miguel |
| 2018 | IJCAI | A Framework for Constraint Based Local Search using Essence. | zgr Akgn, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Patrick Spracklen, James Wetter |
| 2015 | CP | Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. | Peter Nightingale, Patrick Spracklen, Ian Miguel |