Akgün, Ö, Dang, N, Miguel, I, Salamon, AZ, 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

Davidson, E, Akgun, O, Espasa Arxer, J & Nightingale, P 2020, Effective encodings of constraint programming models to SMT. in H Simonis (ed.), Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 12333 LNCS, Springer, pp. 143-159, 26th International Conference on Principles and Practice of Constraint Programming (CP 2020), Louvain-la-Neuve, Belgium, 7/09/20. https://doi.org/10.1007/978-3-030-58475-7_9

Koçak, G, Akgün, Ö, Dang, N & Miguel, I 2020, Efficient incremental modelling and solving. 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. <https://arxiv.org/abs/2009.11111>

Kocak, G, Akgun, O, Guns, T & Miguel, IJ 2020, Exploiting incomparability in solution dominance: improving general purpose constraint-based mining. in G De Giacomo, A Catala, B Dilkina, M Milano, S Barro, A Bugarín & J Lang (eds), ECAI 2020: 24th European Conference on Artificial Intelligence. Frontiers in artificial intelligence and applications, vol. 325, IOS Press, Amsterdam, pp. 331-338, 24th European Conference on Artificial Intelligence (ECAI2020), Santiago de Compostela, Spain, 29/08/20. https://doi.org/10.3233/FAIA200110

Akgün, Ö, Dang, N, Espasa, J, Miguel, I, Salamon, AZ & Stone, C 2020, Exploring instance generation for automated planning. in ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation. <http://arxiv.org/abs/2009.10156>

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. <https://arxiv.org/abs/2009.10152>

Spracklen, P, Dang, N, Akgun, O & Miguel, IJ 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, United States, 30/09/19. https://doi.org/10.1007/978-3-030-30048-7_22