Research and publications · Özgür Akgün's Personal Website

I routinely serve as a program committee member and reviewer at top AI conferences (AAAI, IJCAI, ECAI), subject specific conferences (CP, CPAIOR, PADL), and AI journals (AIJ, JAIR). Notable cases of service can be seen on the activities page.

Please see my profiles on Orcid and Google Scholar for my latest publications.

I also try to maintain a list here, but the profiles linked above may be more up to date.

2024: Automatic Feature Learning for Essence: a Case Study on Car Sequencing (pdf)
Alessio Pellegrino, Özgür Akgün, Nguyen Dang, Zeynep Kiziltan, Ian Miguel
ModRef 2024 - The 23th workshop on Constraint Modelling and Reformulation
URL: https://modref.github.io/ModRef2024.html
: Automated Nogood-Filtered Fine-Grained Streamlining: A Case Study on Covering Arrays (pdf)
Orhan Yigit Yazicilar, Özgür Akgün, Ian Miguel
ModRef 2024 - The 23th workshop on Constraint Modelling and Reformulation
URL: https://modref.github.io/ModRef2024.html
: Frugal Algorithm Selection (pdf)
Erdem Kus, Özgür Akgün, Ian Miguel, Nguyen Dang
30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Dagstuhl Publishing
DOI: 10.4230/LIPIcs.CP.2024.38
URL: https://cp2024.a4cp.org/
: Cost-Efficient Training for Automated Algorithm Selection (pdf)
Erdem Kus, Ian Miguel, Özgür Akgün, Nguyen Dang
PMLR - International Conference on Automated Machine Learning, AUTOML24
URL: https://2024.automl.cc/
: Solvi: A visual constraint modeling tool
Xu Zhu, Miguel Nacenta, Özgür Akgün, Daniel Zenkovitch
Journal of Computer Languages, Elsevier
DOI: 10.1016/j.cola.2023.101242
URL: https://www.sciencedirect.com/science/article/pii/S2590118423000527
2023: Learning when to use automatic tabulation in constraint model reformulation (pdf)
Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean
Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, International Joint Conferences on Artificial Intelligence
DOI: 10.24963/ijcai.2023/211
: Conjure: Automatic generation of constraint models from problem specifications (extended abstract) (pdf)
Özgür Akgün, Alan M. Frisch, Ian Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), International Joint Conferences on Artificial Intelligence
DOI: 10.24963/ijcai.2023/765
URL: https://www.ijcai.org/proceedings/2023/765
: An Approach to Population Linkage using Graph Databases (pdf)
Alan Dearle, Graham Kirby, Özgür Akgün
31st Italian Symposium on Advanced Database Systems, SEBD 2023 ; Conference date: 02-07-2023 Through 05-07-2023
URL: https://sebd2023.dei.unipd.it
: Automated streamliner portfolios for constraint satisfaction problems (pdf)
Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
Artificial Intelligence, Elsevier
DOI: 10.1016/j.artint.2023.103915
2022: Conjure: Automatic Generation of Constraint Models from Problem Specifications (pdf)
Özgür Akgün, Alan M. Frisch, Ian Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Artificial Intelligence, Elsevier
DOI: 10.1016/j.artint.2022.103751
: A framework for generating informative benchmark instances (pdf)
Nguyen Dang, Özgür Akgün, Joan Espasa Arxer, Ian Miguel, Peter Nightingale
28th International Conference on Principles and Practice of Constraint Programming (CP 2022), Dagstuhl Publishing
DOI: 10.4230/LIPIcs.CP.2022.18
: Understanding how people approach constraint modelling and solving (pdf)
Ruth Hoffmann, Xu Zhu, Özgür Akgün, Miguel Nacenta
28th International Conference on Principles and Practice of Constraint Programming (CP 2022), Dagstuhl Publishing
DOI: 10.4230/LIPIcs.CP.2022.28
URL: https://cp2022.a4cp.org/
: Enumeration of set-theoretic solutions to the Yang-Baxter equation (pdf)
Özgür Akgün, Martín Mereb, Leandro Vendramin
Mathematics of Computation, American Mathematical Society
DOI: 10.1090/mcom/3696
URL: https://www.ams.org/journals/mcom/0000-000-00/S0025-5718-2022-03696-6/
2021: Towards reformulating Essence specifications for robustness (pdf)
Özgür Akgün, Alan M. Frisch, Ian Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
ModRef 2021 - The 20th workshop on Constraint Modelling and Reformulation
URL: https://modref.github.io/ModRef2021.html
: Finding subgraphs with side constraints (pdf)
Özgür Akgün, Jessica Enright, Christopher Jefferson, Ciaran McCreesh, Patrick Prosser, Steffen Zschaler
Integration of constraint programming, artificial intelligence, and operations research - 18th international conference, CPAIOR 2021, proceedings, Springer
DOI: 10.1007/978-3-030-78230-6_22
2020: Efficient incremental modelling and solving (pdf)
Gökberk Koçak, Özgür Akgün, Nguyen Dang, Ian Miguel
ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation
URL: https://modref.github.io/ModRef2020.html
: Exploring instance generation for automated planning (pdf)
Özgür Akgün, Nguyen Dang, Joan Espasa, Ian Miguel, András Z. Salamon, Christopher Stone
ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation
: Towards portfolios of streamlined constraint models: a case study with the balanced academic curriculum problem (pdf)
Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation
URL: https://modref.github.io/ModRef2020.html
: Exploiting incomparability in solution dominance: improving general purpose constraint-based mining (pdf)
Gökberk Koçak, Özgür Akgün, Tias Guns, Ian Miguel
ECAI 2020, IOS Press
DOI: 10.3233/FAIA200110
URL: https://ecai2020.eu/
: Linking Scottish vital event records using family groups (pdf)
Özgür Akgün, Alan Dearle, Graham Kirby, Eilidh Garrett, Tom Dalton, Peter Christen, Chris Dibben, Lee Williamson
Historical Methods: a Journal of Quantitative and Interdisciplinary History, Routledge Taylor & Francis Group
DOI: 10.1080/01615440.2019.1571466
: Discriminating instance generation from abstract specifications: a case study with CP and MIP (pdf)
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone
Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Springer
DOI: 10.1007/978-3-030-58942-4_3
URL: https://cpaior2020.dbai.tuwien.ac.at/
: Effective encodings of constraint programming models to SMT (pdf)
Ewan Davidson, Özgür Akgün, Joan Espasa Arxer, Peter Nightingale
Twenty-Sixth International Conference on Principles and Practice of Constraint Programming (CP 2020), Springer
DOI: 10.1007/978-3-030-58475-7_9
URL: https://cp2020.a4cp.org/
2019: Towards improving solution dominance with incomparability conditions: a case-study using Generator Itemset Mining (pdf)
Gökberk Koçak, Özgür Akgün, Ian Miguel, Tias Guns
The 18th workshop on Constraint Modelling and Reformulation (ModRef 2019), Proceedings
URL: http://cp2019.a4cp.org
: Solving computational problems in the theory of word-representable graphs (pdf)
Özgür Akgün, Ian Gent, Sergey Kitaev, Hans Zantema
Journal of Integer Sequences, University of Waterloo
URL: https://cs.uwaterloo.ca/journals/JIS/VOL22/Kitaev/kitaev11.html
: How people visually represent discrete constraint problems (pdf)
Xu Zhu, Miguel Nacenta, Özgür Akgün, Peter Nightingale
IEEE Transactions on Visualization and Computer Graphics, IEEE Computer Society
DOI: 10.1109/TVCG.2019.2895085
: Cloud benchmarking for maximising performance of scientific applications (pdf)
Blesson Varghese, Özgür Akgün, Ian Miguel, Long Thai, Adam Barker
IEEE Transactions on Cloud Computing, IEEE
DOI: 10.1109/TCC.2016.2603476
: Automatic streamlining for constrained optimisation (pdf)
Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
Twenty-Fifth International Conference on Principles and Practice of Constraint Programming (CP 2019), Springer
DOI: 10.1007/978-3-030-30048-7_22
URL: http://cp2019.a4cp.org
: Instance generation via generator instances (pdf)
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Christopher Luciano Stone
Twenty-Fifth International Conference on Principles and Practice of Constraint Programming (CP 2019), Springer
DOI: 10.1007/978-3-030-30048-7_1
URL: http://cp2019.a4cp.org
2018: Closed frequent itemset mining with arbitrary side constraints (pdf)
Gökberk Koçak, Özgür Akgün, Ian Miguel, Peter Nightingale
2018 IEEE International Conference on Data Mining Workshops (ICDMW), IEEE Computer Society
DOI: 10.1109/ICDMW.2018.00175
URL: https://qizhiquan.github.io/OEDM-18/
: Memory consistency models using constraints (pdf)
Özgür Akgün, Ruth Hoffmann, Susmit Sarkar
The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings
URL: http://cp2018.a4cp.org/
: Modelling Langford's Problem: a viewpoint for search (pdf)
Özgür Akgün, Ian Miguel
The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings
URL: http://cp2018.a4cp.org/
: A framework for constraint based local search using Essence (pdf)
Özgür Akgün, Saad Attieh, Ian Gent, Chris Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence
DOI: 10.24963/ijcai.2018/173
URL: https://www.ijcai-18.org/
: Validating Synthetic Longitudinal Populations for evaluation of Population Data Linkage
Tom Dalton, Graham Kirby, Alan Dearle, Özgür Akgün, Monique Lea MacKenzie
DOI: 10.23889/ijpds.v3i2.504
: Automatic discovery and exploitation of promising subproblems for tabulation (pdf)
Özgür Akgün, Ian Gent, Chris Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
Twenty-Fourth International Conference on Principles and Practice of Constraint Programming (CP 2018), Springer
DOI: 10.1007/978-3-319-98334-9_1
URL: http://cp2018.a4cp.org/
: Automatic generation and selection of streamlined constraint models via Monte Carlo search on a model lattice (pdf)
Patrick Spracklen, Özgür Akgün, Ian Miguel
Twenty-Fourth International Conference on Principles and Practice of Constraint Programming (CP 2018), Springer
DOI: 10.1007/978-3-319-98334-9_24
: Metamorphic testing of constraint solvers (pdf)
Özgür Akgün, Ian Gent, Chris Jefferson, Ian Miguel, Peter Nightingale
Twenty-Fourth International Conference on Principles and Practice of Constraint Programming (CP 2018), Springer
DOI: 10.1007/978-3-319-98334-9_46
URL: http://cp2018.a4cp.org/
: Using metric space indexing for complete and efficient record linkage (pdf)
Özgür Akgün, Alan Dearle, Graham Kirby, Peter Christen
Advances in Knowledge Discovery and Data Mining, Springer
DOI: 10.1007/978-3-319-93040-4_8
URL: http://prada-research.net/pakdd18/
2017: Automatically improving constraint models in Savile Row (pdf)
Peter Nightingale, Özgür Akgün, Ian Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen
Artificial Intelligence, Elsevier
DOI: 10.1016/j.artint.2017.07.001
: Learning From Past Links: Understanding the Limits of Linkage Quality
Özgür Akgün, Alan Dearle, Eilidh Garrett, Graham Kirby
British Society for Population Studies Annual Conference 2017, BSPS Annual Conference ; Conference date: 06-09-2017 Through 08-09-2017
URL: http://www.lse.ac.uk/socialPolicy/Researchcentresandgroups/BSPS/annualConference/Home.aspx
: Evaluating record linkage: creating longitudinal synthetic data to provide gold-standard linked data sets
Tom Dalton, Alan Dearle, Graham Kirby, Özgür Akgün
Workshop for the Systematic Linking of Historical Records ; Conference date: 11-05-2017 Through 13-05-2017
URL: http://recordlink.org
: Probabilistic linkage of vital event records in Scotland using familial groups
Özgür Akgün, Tom Dalton, Alan Dearle, Eilidh Garrett, Graham Kirby
Workshop for the Systematic Linking of Historical Records ; Conference date: 11-05-2017 Through 13-05-2017
URL: http://recordlink.org
: An identifier scheme for the Digitising Scotland project
Özgür Akgün, Ahmad Al-Sidiqi, Peter Christen, Tom Dalton, Alan Dearle, Chris Dibben, Eilidh Garrett, Alasdair Gray, Graham Kirby, Alice Reid
UK Administrative Data Research Network Annual Research Conference : Social science using administrative data for public benefit, ADRN2017 ; Conference date: 01-06-2017 Through 02-06-2017
URL: http://www.adrn2017.net
: Evaluating population data linkage: assessing stability, scalability, resilience and robustness across many data sets for comprehensive linkage evaluation
Tom Dalton, Özgür Akgün, Ahmad Al-Sediqi, Peter Christen, Alan Dearle, Eilidh Garrett, Alasdair Gray, Graham Kirby, Alice Reid
UK Administrative Data Research Network Annual Research Conference : Social science using administrative data for public benefit, ADRN2017 ; Conference date: 01-06-2017 Through 02-06-2017
URL: http://www.adrn2017.net
: Record linking using metric space similarity search
Alan Dearle, Graham Kirby, Özgür Akgün, Tom Dalton
UK Administrative Data Research Network Annual Research Conference : Social science using administrative data for public benefit, ADRN2017 ; Conference date: 01-06-2017 Through 02-06-2017
URL: http://www.adrn2017.net
2016: Exploiting short supports for improved encoding of arbitrary constraints into SAT (pdf)
Özgür Akgün, Ian Gent, Chris Jefferson, Ian Miguel, Peter Nightingale
Twenty-Second International Conference on Principles and Practice of Constraint Programming (CP 2016), Springer
DOI: 10.1007/978-3-319-44953-1_1
2015: Cloud-based e-Infrastructure for scheduling astronomical observations (pdf)
James Wetter, Özgür Akgün, Adam Barker, Martin Dominik, Ian Miguel, Blesson Varghese
2015 IEEE 11th International Conference on e-Science (e-Science) (2015), IEEE Computer Society
DOI: 10.1109/eScience.2015.54
URL: http://escience2015.mnm-team.org/
: Automatically generating streamlined constraint models with Essence and Conjure (pdf)
James Wetter, Özgür Akgün, Ian Miguel
Twenty-First International Conference on Principles and Practice of Constraint Programming (CP 2015), Springer
DOI: 10.1007/978-3-319-23219-5_34
2014: Cloud benchmarking for performance (pdf)
Blesson Varghese, Özgür Akgün, Ian Miguel, Long Thai, Adam Barker
Proceedings 2014 IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom 2014), IEEE
DOI: 10.1109/CloudCom.2014.28
: Optimal deployment of geographically distributed workflow engines on the Cloud (pdf)
Long Thai, Adam Barker, Blesson Varghese, Özgür Akgün, Ian Miguel
6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014), IEEE
DOI: 10.1109/CloudCom.2014.30
: Automatically improving constraint models in Savile Row through associative-commutative common subexpression elimination (pdf)
Peter Nightingale, Özgür Akgün, Ian Gent, Christopher Jefferson, Ian Miguel
Twentieth International Conference on Principles and Practice of Constraint Programming (CP 2014), Springer
DOI: 10.1007/978-3-319-10428-7_43
: Breaking conditional symmetry in automated constraint modelling with Conjure (pdf)
Özgür Akgün, Ian Gent, Chris Jefferson, Ian Miguel, Peter Nightingale
ECAI 2014, IOS Press
DOI: 10.3233/978-1-61499-419-0-3
: Extensible automated constraint modelling via refinement of abstract problem specifications (pdf)
Özgür Akgün
University of St Andrews
URL: http://hdl.handle.net/10023/6547
2013: An Automated Constraint Modelling and Solving Toolchain (pdf)
Özgür Akgün, Alan M Frisch, Ian Gent, Bilal Syed Hussain, Chris Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
ARW 2013 - 20th Automated Reasoning Workshop
URL: http://staff.computing.dundee.ac.uk/katya/arw13/papers/paper_13.pdf
: Automated Modelling and Model Selection in Constraint Programming: Current Achievements and Future Directions (pdf)
Özgür Akgün, Alan M Frisch, Chris Jefferson, Ian Miguel
COSpeL: The first Workshop on Domain Specific Languages in Combinatorial Optimization
URL: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.388.5906&rep=rep1&type=pdf
: Automated Symmetry Breaking and Model Selection in Conjure (pdf)
Özgür Akgün, Alan M Frisch, Ian Gent, Bilal Syed Hussain, Chris Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference
DOI: 10.1007/978-3-642-40627-0_11
2011: Extensible Automated Constraint Modelling (pdf)
Özgür Akgün, Ian Miguel, Chris Jefferson, Alan M. Frisch, Brahim Hnich
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI Press
ISBN: 978-157735508-3
URL: http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3687
: The Open Stacks Problem: An automated modelling case study (pdf)
Özgür Akgün, Ian Miguel, Chris Jefferson
ERCIM Workshop on Constraint Solving and Constraint Logic Programming
URL: https://web.archive.org/web/20200709224031/https://csclp2011.cs.st-andrews.ac.uk/csclp2011proceedings.pdf#page=21
2010: Conjure Revisited: Towards Automated Constraint Modelling (pdf)
Özgür Akgün, Alan M Frisch, Brahim Hnich, Chris Jefferson, Ian Miguel
ModRef 2010 - The 9th International Workshop on Constraint Modelling and Reformulation
URL: https://it.uu.se/research/grou....elling%20-%20ModRef%202010.pdf
: Refining Portfolios of Constraint Models with Conjure (pdf)
Özgür Akgün
CP 2010 - Principles and Practice of Constraint Programming, 16th International Conference, Doctoral Program
URL: https://arxiv.org/pdf/1109.1774.pdf