Patrick Spracklen

According to our database, Patrick Spracklen authored at least 8 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Automated streamliner portfolios for constraint satisfaction problems.

Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel

Artif. Intell., June, 2023

2020

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

Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel

CoRR, 2020

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

Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019

Automatic Streamlining for Constrained Optimisation.

Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel

Proceedings of the Principles and Practice of Constraint Programming, 2019

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

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

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

Patrick Spracklen, Özgür Akgün, Ian Miguel

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

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

2015

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

Peter Nightingale, Patrick Spracklen, Ian Miguel

Proceedings of the Principles and Practice of Constraint Programming, 2015