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

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

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

Akgun, O, Dang, N, Miguel, IJ, Salamon, AZ & Stone, CL 2019, Instance generation via generator instances. 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 (Programming and Software Engineering), vol. 11802, Springer, Cham, pp. 3-19, 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_1