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.


2023
Solvi: A visual constraint modeling tool (pdf)
Xu Zhu, Miguel Nacenta, Özgür Akgün, Daniel Zenkovitch
Journal of Computer Languages
DOI: 10.1016/j.cola.2023.101242
URL: https://www.sciencedirect.com/science/article/pii/S2590118423000527

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

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

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: https://doi.org/10.24963/ijcai.2023/765
URL: https://www.ijcai.org/proceedings/2023/765


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), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 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), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI: 10.4230/LIPIcs.CP.2022.28
URL: https://cp2022.a4cp.org/

Automatic tabulation in constraint models
Özgür Akgün, Ian Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
Funding: We thank EPSRC for grants EP/P015638/1, EP/P026842/1 and EP/R513386/1. Dr Jefferson holds a Royal Society University Research Fellowship.

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 (ModRef)
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://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



License CC BY 4.0