Dr Ozgur Akgun

Dr Ozgur Akgun
Lecturer - School of Computer Science
Email: ozgur.akgun@st-andrews.ac.uk
Office: JC1.10
Phone: +44 (0)1334 463072
Recent Publications
- Akgun, O & Espasa Arxer, J, CP2020-SRSMT, 2020, Software, GitHub. <https://github.com/stacs-cp/CP2020-SRSMT>
- 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
- Varghese, B, Akgun, O, Miguel, IJ, Thai, LT & Barker, AD 2019, 'Cloud benchmarking for maximising performance of scientific applications', IEEE Transactions on Cloud Computing, vol. 7, no. 1, 7553491, pp. 170-182. https://doi.org/10.1109/TCC.2016.2603476
- Zhu, X, Nacenta, M, Akgün, Ö & Nightingale, PW 2019, 'How people visually represent discrete constraint problems', IEEE Transactions on Visualization and Computer Graphics, vol. 26, no. 8, pp. 2603 - 2619. https://doi.org/10.1109/TVCG.2019.2895085
- 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
- Akgün, Ö, Dearle, A, Kirby, GNC, Garrett, E, Dalton, TS, Christen, P, Dibben, CJL & Williamson, LEP 2019, 'Linking Scottish vital event records using family groups', Historical Methods: a Journal of Quantitative and Interdisciplinary History, vol. Latest articles. https://doi.org/10.1080/01615440.2019.1571466
- Akgün, Ö, Gent, IP, Kitaev, S & Zantema, H 2019, 'Solving computational problems in the theory of word-representable graphs', Journal of Integer Sequences, vol. 22, no. 2, 19.2.5. <https://cs.uwaterloo.ca/journals/JIS/VOL22/Kitaev/kitaev11.html>