Obserwuj
Özgür Akgün
Özgür Akgün
Senior Lecturer, School of Computer Science, University of St Andrews
Zweryfikowany adres z st-andrews.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Automatically improving constraint models in Savile Row
P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel, P Spracklen
Artificial Intelligence 251 (C), 35-61, 2017
882017
Cloud Benchmarking for Performance
B Varghese, O Akgun, I Miguel, L Thai, A Barker
IEEE CloudCom 2014, 2014
472014
Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination
P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel
CP 2014 - Principles and Practice of Constraint Programming, 20th …, 2014
472014
Extensible Automated Constraint Modelling
O Akgun, I Miguel, C Jefferson, AM Frisch, B Hnich
AAAI 2011 - Proceedings of the Twenty-Fifth AAAI Conference on Artificial …, 2011
452011
Automated Symmetry Breaking and Model Selection in Conjure
O Akgun, AM Frisch, IP Gent, BS Hussain, C Jefferson, L Kotthoff, I Miguel, ...
CP 2013 - Principles and Practice of Constraint Programming, 19th …, 2013
402013
Cloud Benchmarking For Maximising Performance of Scientific Applications
B Varghese, O Akgun, I Miguel, L Thai, A Barker
IEEE Transactions on Cloud Computing, 1-1, 2016
372016
Metamorphic testing of constraint solvers
Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale
Principles and Practice of Constraint Programming: 24th International …, 2018
362018
Enumeration of set-theoretic solutions to the Yang–Baxter equation
Ö Akgün, M Mereb, L Vendramin
Mathematics of Computation 91 (335), 1469-1481, 2022
262022
Extensible Automated Constraint Modelling via Refinement of Abstract Problem Specifications
Ö Akgün
University of St Andrews, 2014
242014
Conjure: Automatic generation of constraint models from problem specifications
Ö Akgün, AM Frisch, IP Gent, C Jefferson, I Miguel, P Nightingale
Artificial Intelligence 310, 103751, 2022
222022
Automatic discovery and exploitation of promising subproblems for tabulation
Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale, AZ Salamon
Principles and Practice of Constraint Programming: 24th International …, 2018
212018
Breaking Conditional Symmetry in Automated Constraint Modelling with Conjure
O Akgun, IP Gent, C Jefferson, I Miguel, P Nightingale
ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 …, 2014
212014
Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud
L Thai, A Barker, B Varghese, O Akgun, I Miguel
IEEE CloudCom 2014, 2014
152014
Instance generation via generator instances
Ö Akgün, N Dang, I Miguel, AZ Salamon, C Stone
Principles and Practice of Constraint Programming: 25th International …, 2019
142019
A Framework for Constraint Based Local Search using Essence
Ö Akgün, S Attieh, IP Gent, C Jefferson, I Miguel, P Nightingale, ...
IJCAI-ECAI 2018, the 27th International Joint Conference on Artificial …, 2018
142018
Automatically Generating Streamlined Constraint Models with Essence and Conjure
J Wetter, Ö Akgün, I Miguel
International Conference on Principles and Practice of Constraint …, 2015
122015
Discriminating instance generation from abstract specifications: A case study with CP and MIP
Ö Akgün, N Dang, I Miguel, AZ Salamon, P Spracklen, C Stone
Integration of Constraint Programming, Artificial Intelligence, and …, 2020
112020
Linking Scottish vital event records using family groups
Ö Akgün, A Dearle, G Kirby, E Garrett, T Dalton, P Christen, C Dibben, ...
Historical Methods: A Journal of Quantitative and Interdisciplinary History …, 2020
102020
Effective encodings of constraint programming models to SMT
E Davidson, Ö Akgün, J Espasa, P Nightingale
Principles and Practice of Constraint Programming: 26th International …, 2020
102020
CSPLib: a problem library for constraints (1999)
C Jefferson, I Miguel, B Hnich, T Walsh, IP Gent
URL http://www. csplib. org, 2019
92019
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20