Patrick Spracklen

Automatic Streamlining for Constrained Optimisation

Ian Miguel, Ozgur Akgun, Nguyen Dang, 2019, CP.

Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP

Ian Miguel, Ozgur Akgun, András Z. Salamon, 2020, CPAIOR.

Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row

Ian Miguel, Peter Nightingale, Patrick Spracklen, 2015, CP.

Automatically improving constraint models in Savile Row

Ian P. Gent, Ian Miguel, Peter Nightingale, 2017, Artif. Intell..

Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice

Ian Miguel, Ozgur Akgun, Patrick Spracklen, 2018, CP.

A Framework for Constraint Based Local Search using Essence

Ian P. Gent, Ian Miguel, Peter Nightingale, 2018, IJCAI.

Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem pdf

Ian Miguel, Ozgur Akgun, Nguyen Dang, 2020, ArXiv.