Özgür Akgün

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 40

Top Venues

CoRR

Artif. Intell.

IJCAI

University of St Andrews, UK (PHD)

Education History

University of St Andrews, UK

PHD

Publications

Xu Zhu, Miguel A. Nacenta, Özgür Akgün, Daniel Zenkovitch
Solvi: A visual constraint modeling tool. J. Comput. Lang. 78 (2024)
Erdem Kus, Özgür Akgün, Nguyen Dang, Ian Miguel
Frugal Algorithm Selection. CoRR (2024)
Erdem Kus, Özgür Akgün, Nguyen Dang, Ian Miguel
Frugal Algorithm Selection (Short Paper). CP (2024)
Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean
Learning When to Use Automatic Tabulation in Constraint Model Reformulation. IJCAI (2023)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). IJCAI (2023)
Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
Automated streamliner portfolios for constraint satisfaction problems. Artif. Intell. 319 (2023)
Alan Dearle, Graham N. C. Kirby, Özgür Akgün
An Approach to Population Linkage using Graph Databases. SEBD (2023)
Ruth Hoffmann, Özgür Akgün, Christopher Jefferson
Composable Constraint Models for Permutation Enumeration. CoRR (2023)
Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
A Framework for Generating Informative Benchmark Instances. CP (2022)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Conjure: Automatic Generation of Constraint Models from Problem Specifications. Artif. Intell. 310 (2022)
Ruth Hoffmann, Xu Zhu, Özgür Akgün, Miguel A. Nacenta
Understanding How People Approach Constraint Modelling and Solving. CP (2022)
Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
A Framework for Generating Informative Benchmark Instances. CoRR (2022)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
Automatic Tabulation in Constraint Models. CoRR (2022)
Özgür Akgün, M. Mereb, Leandro Vendramin
Enumeration of set-theoretic solutions to the Yang-Baxter equation. Math. Comput. 91 (335) (2022)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
Towards Reformulating Essence Specifications for Robustness. CoRR (2021)
Özgür Akgün, Jessica A. Enright, Christopher Jefferson, Ciaran McCreesh, Patrick Prosser, Steffen Zschaler
Finding Subgraphs with Side Constraints. CPAIOR (2021)
Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem. CoRR (2020)
Özgür Akgün, Nguyen Dang, Joan Espasa, Ian Miguel, András Z. Salamon, Christopher Stone
Exploring Instance Generation for Automated Planning. CoRR (2020)
Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale
Effective Encodings of Constraint Programming Models to SMT. CP (2020)
Xu Zhu, Miguel A. Nacenta, Özgür Akgün, Peter Nightingale
How People Visually Represent Discrete Constraint Problems. IEEE Trans. Vis. Comput. Graph. 26 (8) (2020)
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone
Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. CPAIOR (2020)
Gökberk Koçak, Özgür Akgün, Nguyen Dang, Ian Miguel
Efficient Incremental Modelling and Solving. CoRR (2020)
Gökberk Koçak, Özgür Akgün, Tias Guns, Ian Miguel
Exploiting Incomparability in Solution Dominance: Improving General Purpose Constraint-Based Mining. ECAI (2020)
Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
Automatic Streamlining for Constrained Optimisation. CP (2019)
Özgür Akgün, Ian P. Gent, Sergey Kitaev, Hans Zantema
Solving Computational Problems in the Theory of Word-Representable Graphs. J. Integer Seq. 22 (2) (2019)
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Christopher Stone
Instance Generation via Generator Instances. CP (2019)
Gökberk Koçak, Özgür Akgün, Tias Guns, Ian Miguel
Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining. CoRR (2019)
Özgür Akgün, András Z. Salamon
Conjure Documentation, Release 2.3.0. CoRR (2019)
Özgür Akgün, Ian Miguel
Modelling Langford's Problem: A Viewpoint for Search. CoRR (2018)
Ruth Hoffmann, Özgür Akgün, Susmit Sarkar
Memory Consistency Models using Constraints. CoRR (2018)
Özgür Akgün, Alan Dearle, Graham N. C. Kirby, Peter Christen
Using Metric Space Indexing for Complete and Efficient Record Linkage. PAKDD (3) (2018)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Metamorphic Testing of Constraint Solvers. CP (2018)
Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter
A Framework for Constraint Based Local Search using Essence. IJCAI (2018)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. CP (2018)
Patrick Spracklen, Özgür Akgün, Ian Miguel
Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. CP (2018)
Özgür Akgün
Extensible automated constraint modelling via refinement of abstract problem specifications. Constraints An Int. J. 22 (1) (2017)
Roberto Rossi, Özgür Akgün, Steven D. Prestwich, S. Armagan Tarim
Declarative Statistics. CoRR (2017)
Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen
Automatically improving constraint models in Savile Row. Artif. Intell. 251 (2017)
Roberto Rossi, Özgür Akgün, Steven D. Prestwich, Armagan Tarim
The BIN_COUNTS Constraint: Filtering and Applications. CoRR (2016)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. CP (2016)
James Wetter, Özgür Akgün, Ian Miguel
Automatically Generating Streamlined Constraint Models with Essence and Conjure. CP (2015)
Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel
Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. CP (2014)

Özgür Akgün.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Özgür Akgün