Özgür Akgün

51 papers A* 4A 14B 2Journal 27Unranked 3

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