Özgür Akgün

According to our database, Özgür Akgün authored at least 49 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Solvi: A visual constraint modeling tool.

Xu Zhu, Miguel A. Nacenta, Özgür Akgün, Daniel Zenkovitch

J. Comput. Lang., March, 2024

2023

Automated streamliner portfolios for constraint satisfaction problems.

Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel

Artif. Intell., June, 2023

Composable Constraint Models for Permutation Enumeration.

Ruth Hoffmann, Özgür Akgün, Christopher Jefferson

CoRR, 2023

An Approach to Population Linkage using Graph Databases.

Alan Dearle, Graham N. C. Kirby, Özgür Akgün

Proceedings of the 31st Symposium of Advanced Database Systems, 2023

Learning When to Use Automatic Tabulation in Constraint Model Reformulation.

Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract).

Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Enumeration of set-theoretic solutions to the Yang-Baxter equation.

Özgür Akgün, M. Mereb, Leandro Vendramin

Math. Comput., 2022

Automatic Tabulation in Constraint Models.

Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean

CoRR, 2022

Conjure: Automatic Generation of Constraint Models from Problem Specifications.

Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Artif. Intell., 2022

Understanding How People Approach Constraint Modelling and Solving.

Ruth Hoffmann, Xu Zhu, Özgür Akgün, Miguel A. Nacenta

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

A Framework for Generating Informative Benchmark Instances.

Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021

Towards Reformulating Essence Specifications for Robustness.

Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon

CoRR, 2021

Finding Subgraphs with Side Constraints.

Özgür Akgün, Jessica A. Enright, Christopher Jefferson, Ciaran McCreesh, Patrick Prosser, Steffen Zschaler

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

2020

How People Visually Represent Discrete Constraint Problems.

Xu Zhu, Miguel A. Nacenta, Özgür Akgün, Peter Nightingale

IEEE Trans. Vis. Comput. Graph., 2020

Efficient Incremental Modelling and Solving.

Gökberk Koçak, Özgür Akgün, Nguyen Dang, Ian Miguel

CoRR, 2020

Exploring Instance Generation for Automated Planning.

Özgür Akgün, Nguyen Dang, Joan Espasa, Ian Miguel, András Z. Salamon, Christopher Stone

CoRR, 2020

Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem.

Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel

CoRR, 2020

Exploiting Incomparability in Solution Dominance: Improving General Purpose Constraint-Based Mining.

Gökberk Koçak, Özgür Akgün, Tias Guns, Ian Miguel

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP.

Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

Effective Encodings of Constraint Programming Models to SMT.

Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Cloud Benchmarking for Maximising Performance of Scientific Applications.

Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker

IEEE Trans. Cloud Comput., 2019

Solving Computational Problems in the Theory of Word-Representable Graphs.

Özgür Akgün, Ian P. Gent, Sergey Kitaev, Hans Zantema

J. Integer Seq., 2019

Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining.

Gökberk Koçak, Özgür Akgün, Tias Guns, Ian Miguel

CoRR, 2019

Conjure Documentation, Release 2.3.0.

Özgür Akgün, András Z. Salamon

CoRR, 2019

Automatic Streamlining for Constrained Optimisation.

Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel

Proceedings of the Principles and Practice of Constraint Programming, 2019

Instance Generation via Generator Instances.

Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Christopher Stone

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Memory Consistency Models using Constraints.

Ruth Hoffmann, Özgür Akgün, Susmit Sarkar

CoRR, 2018

Modelling Langford's Problem: A Viewpoint for Search.

Özgür Akgün, Ian Miguel

CoRR, 2018

Using Metric Space Indexing for Complete and Efficient Record Linkage.

Özgür Akgün, Alan Dearle, Graham N. C. Kirby, Peter Christen

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2018

A Framework for Constraint Based Local Search using Essence.

Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Closed Frequent Itemset Mining with Arbitrary Side Constraints.

Gokberk Kocak, Ozgur Akgun, Ian Miguel, Peter Nightingale

Proceedings of the 2018 IEEE International Conference on Data Mining Workshops, 2018

Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice.

Patrick Spracklen, Özgür Akgün, Ian Miguel

Proceedings of the Principles and Practice of Constraint Programming, 2018

Automatic Discovery and Exploitation of Promising Subproblems for Tabulation.

Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon

Proceedings of the Principles and Practice of Constraint Programming, 2018

Metamorphic Testing of Constraint Solvers.

Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Declarative Statistics.

Roberto Rossi, Özgür Akgün, Steven D. Prestwich, S. Armagan Tarim

CoRR, 2017

Extensible automated constraint modelling via refinement of abstract problem specifications.

Özgür Akgün

Constraints An Int. J., 2017

Automatically improving constraint models in Savile Row.

Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen

Artif. Intell., 2017

2016

The BIN_COUNTS Constraint: Filtering and Applications.

Roberto Rossi, Özgür Akgün, Steven D. Prestwich, Armagan Tarim

CoRR, 2016

Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT.

Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Cloud-based E-Infrastructure for Scheduling Astronomical Observations.

James Wetter, Ozgur Akgun, Adam Barker, Martin Dominik, Ian Miguel, Blesson Varghese

Proceedings of the 11th IEEE International Conference on e-Science, 2015

Automatically Generating Streamlined Constraint Models with Essence and Conjure.

James Wetter, Özgür Akgün, Ian Miguel

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Extensible automated constraint modelling via refinement of abstract problem specifications.

Özgür Akgün

PhD thesis, 2014

Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE.

Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination.

Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel

Proceedings of the Principles and Practice of Constraint Programming, 2014

Cloud Benchmarking for Performance.

Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud.

Long Thai, Adam Barker, Blesson Varghese, Ozgur Akgun, Ian Miguel

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

2013

Automated Symmetry Breaking and Model Selection in Conjure.

Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2013

2011

Conjure Revisited: Towards Automated Constraint Modelling

Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel

CoRR, 2011

Extensible Automated Constraint Modelling.

Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011