Spracklen, Patrick ; Dang, Nguyen ; Akgün, Özgür.
ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation.  , 2021

Spracklen, Patrick ; Dang, Nguyen ; Akgün, Özgür.
Spracklen , P , Dang , N , Akgün , Ö & Miguel , I 2020 , Towards portfolios of streamlined constraint models : a case study with the balanced academic curriculum problem . in ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation . The 19th workshop on Constraint Modelling and Reformulation (ModRef) , Louvain-la-Neuve , Belgium , 7/09/20 ..  , 2020

Spracklen, Patrick ; Dang, Nguyen ; Akgün, Özgür.
http://arxiv.org/abs/2009.10152.  , 2020

Akgün, Özgür ; Dang, Nguyen ; Miguel, Ian...
Akgün , Ö , Dang , N , Miguel , I , Salamon , A Z , Spracklen , P & Stone , C 2020 , Discriminating instance generation from abstract specifications : a case study with CP and MIP . in E Hebrard & N Musliu (eds) , Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 12296 LNCS , Springer , Cham , pp. 41-51 , 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2020 , Vienna, Online , Austria , 21/09/20 . https://doi.org/10.1007/978-3-030-58942-4_3.  , 2020

Spracklen, Patrick ; Dang, Nguyen ; Akgun, Ozgur.
Spracklen , P , Dang , N , Akgun , O & Miguel , I J 2019 , Automatic streamlining for constrained optimisation . in T Schiex & S de Givry (eds) , Principles and Practice of Constraint Programming : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 11802 LNCS , Springer , Cham , pp. 366-383 , 25th International Conference on Principles and Practice of Constraint Programming (CP 2019) , Stamford , Connecticut , United States , 30/09/19 . https://doi.org/10.1007/978-3-030-30048-7_22.  , 2019

Akgun, Ozgur ; Attieh, Saad Wasim A ; Gent, Ian Philip...
Akgun , O , Attieh , S W A , Gent , I P , Jefferson , C A , Miguel , I J , Nightingale , P W , Salamon , A Z , Spracklen , P & Wetter , J P 2018 , A framework for constraint based local search using ESSENCE . in J Lang (ed.) , Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence . International Joint Conferences on Artificial Intelligence , pp. 1242-1248 , 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence , Stockholm , Sweden , 13/07/18 . https://doi.org/10.24963/ijcai.2018/173.  , 2018

Spracklen, Patrick ; Akgun, Ozgur ; Miguel, Ian James
Spracklen , P , Akgun , O & Miguel , I J 2018 , Automatic generation and selection of streamlined constraint models via Monte Carlo search on a model lattice . in J Hooker (ed.) , Principles and Practice of Constraint Programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings . Lecture Notes in Computer Science (including subseries Programming and Software Engineering) , vol. 11008 LNCS , Springer , Cham , pp. 362-372 . https://doi.org/10.1007/978-3-319-98334-9_24.  , 2018

Nightingale, Peter ; Akgün, Özgür ; Gent, Ian P...
https://eprints.whiterose.ac.uk/141511/1/savilerowjournal_aij.pdf.  , 2017

Nightingale, Peter ; Akgün, Özgür ; Gent, Ian P...
Nightingale , P , Akgün , Ö , Gent , I P , Jefferson , C , Miguel , I & Spracklen , P 2017 , ' Automatically improving constraint models in Savile Row ' , Artificial Intelligence , vol. 251 , pp. 35-61 . https://doi.org/10.1016/j.artint.2017.07.001.  , 2017

Nightingale, Peter ; Spracklen, Patrick ; Miguel, Ian James
Nightingale , P , Spracklen , P & Miguel , I J 2015 , Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row . in G Pesant (ed.) , Principles and Practice of Constraint Programming : 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings . vol. 9255 , Lecture Notes in Computer Science , vol. 9255 , Springer , pp. 330-340 , 21st International Conference on Principles and Practice of Constraint Programming (CP 2015) , Cork , Ireland , 31/08/15 . https://doi.org/10.1007/978-3-319-23219-5_23.  , 2015