Patrick Spracklen

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

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

A Framework for Constraint Based Local Search using Essence

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

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

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

Automated streamliner portfolios for constraint satisfaction problems

Nguyen Dang, Ozgur Akgun, Patrick Spracklen, 2023, Artif. Intell..

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

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

Automatically improving constraint models in Savile Row

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

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

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