Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. - Peter Nightingale; Patrick Spracklen; Ian Miguel (CP, 2015)

Automatically improving constraint models in Savile Row. - Peter Nightingale; Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Patrick Spracklen (Artif. Intell., 2017)

Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. - Patrick Spracklen; Özgür Akgün; Ian Miguel (CP, 2018)

A Framework for Constraint Based Local Search using Essence. - Özgür Akgün; Saad Attieh; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon; Patrick Spracklen; James Wetter (IJCAI, 2018)

Automatic Streamlining for Constrained Optimisation. - Patrick Spracklen; Nguyen Dang 001; Özgür Akgün; Ian Miguel (CP, 2019)

Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. - Özgür Akgün; Nguyen Dang 001; Ian Miguel; András Z. Salamon; Patrick Spracklen; Christopher Stone 001 (CPAIOR, 2020)

Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem. - Patrick Spracklen; Nguyen Dang 001; Özgür Akgün; Ian Miguel (CoRR, 2020)

Automated streamliner portfolios for constraint satisfaction problems. - Patrick Spracklen; Nguyen Dang 001; Özgür Akgün; Ian Miguel (Artif. Intell., 2023)