References
Özgür Akgün. Refining portfolios of constraint models with conjure. In CP 2010 - Principles and Practice of Constraint Programming, 16th International Conference, Doctoral Program, 1–6. 2010. URL: https://arxiv.org/pdf/1109.1774.pdf.
Özgür Akgün. Extensible automated constraint modelling via refinement of abstract problem specifications. 2014. URL: http://hdl.handle.net/10023/6547.
Özgür Akgün, Saad Wasim A Attieh, Ian Philip Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, and James Patrick Wetter. A framework for constraint based local search using essence. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 1242–1248. International Joint Conferences on Artificial Intelligence, jul 2018. URL: https://www.ijcai-18.org/, doi:10.24963/ijcai.2018/173.
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, and Christopher Stone. Instance generation via generator instances. In Thomas Schiex and Simon de Givry, editors, CP 2019: Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, volume 11802 of Lecture Notes in Computer Science, 3–19. Springer, 2019. doi:10.1007/978-3-030-30048-7_1.
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Patrick Spracklen, and Christopher Stone. Discriminating instance generation from abstract specifications: a case study with cp and mip. In Emmanuel Hebrard and Nysret Musliu, editors, Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 41–51. Netherlands, 2020. Springer. URL: https://cpaior2020.dbai.tuwien.ac.at/, doi:10.1007/978-3-030-58942-4_3.
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, and Christopher Stone. Instance generation via generator instances. In Thomas Schiex and Simon de Givry, editors, Twenty-Fifth International Conference on Principles and Practice of Constraint Programming (CP 2019), 3–19. Netherlands, 2019. Springer. URL: http://cp2019.a4cp.org, doi:10.1007/978-3-030-30048-7_1.
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, and András Z. Salamon. Towards reformulating essence specifications for robustness. In ModRef 2021 - The 20th workshop on Constraint Modelling and Reformulation (ModRef). oct 2021. URL: https://modref.github.io/ModRef2021.html.
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian J. Miguel, and Peter Nightingale. Conjure: automatic generation of constraint models from problem specifications. Artificial Intelligence, sep 2022. doi:10.1016/j.artint.2022.103751.
Özgür Akgün, Alan M Frisch, Ian Philip Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, and Peter Nightingale. An automated constraint modelling and solving toolchain. In ARW 2013 - 20th Automated Reasoning Workshop. 2013. URL: http://staff.computing.dundee.ac.uk/katya/arw13/papers/paper_13.pdf.
Özgür Akgün, Alan M Frisch, Ian Philip Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, and Peter Nightingale. Automated symmetry breaking and model selection in conjure. In CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference. 2013. doi:10.1007/978-3-642-40627-0_11.
Özgür Akgün, Alan M Frisch, Brahim Hnich, Christopher Jefferson, and Ian Miguel. Conjure Revisited: Towards Automated Constraint Modelling. 2010. URL: https://www.it.uu.se/research/group/astra/ModRef10/papers/Ozgur%20Akgun,%20Alan%20Frisch,%20Brahim%20Hnich,%20Chris%20Jefferson%20and%20Ian%20Miguel.%20%20Conjure%20Revisited,%20Towards%20Automated%20Constraint%20Modelling%20-%20ModRef%202010.pdf.
Özgür Akgün, Alan M Frisch, Christopher Jefferson, and Ian Miguel. Automated modelling and model selection in constraint programming: current achievements and future directions. In COSpeL: The first Workshop on Domain Specific Languages in Combinatorial Optimization. 2013. URL: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.388.5906&rep=rep1&type=pdf.
Özgür Akgün, Ian Gent, Chris Jefferson, Ian Miguel, and Peter Nightingale. Breaking conditional symmetry in automated constraint modelling with CONJURE, pages 3–8. Volume 263. IOS Press, Netherlands, aug 2014. doi:10.3233/978-1-61499-419-0-3.
Özgür Akgün, Ruth Hoffmann, and Susmit Sarkar. Memory consistency models using constraints. In The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. aug 2018. URL: http://cp2018.a4cp.org/.
Özgür Akgün and Ian Miguel. Modelling langford's problem: a viewpoint for search. In The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. aug 2018. URL: http://cp2018.a4cp.org/.
Özgür Akgün, Ian Miguel, and Christopher Jefferson. The open stacks problem: an automated modelling case study. In ERCIM Workshop on Constraint Solving and Constraint Logic Programming, 15. 2011. URL: https://csclp2011.cs.st-andrews.ac.uk/csclp2011proceedings.pdf#page=21.
Özgür Akgün, Ian Miguel, Christopher Jefferson, Alan M. Frisch, and Brahim Hnich. Extensible automated constraint modelling. In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 4–11. AAAI Press, 2011. URL: http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3687.
Sara Ceschia, Nguyen Dang, Patrick De Causmaecker, Stefaan Haspeslagh, and Andrea Schaerf. The second international nurse rostering competition. Annals of Operations Research, 274:171–186, 2019. doi:10.1007/s10479-018-2816-0.
Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, and Peter Nightingale. A framework for generating informative benchmark instances. In Christine Solon, editor, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, jul 2022. doi:10.4230/LIPIcs.CP.2022.18.
Ewan Davidson, Özgür Akgün, Joan Espasa, and Peter Nightingale. Effective encodings of constraint programming models to smt. In Helmut Simonis, editor, Twenty-Sixth International Conference on Principles and Practice of Constraint Programming (CP 2020), 143–159. Netherlands, 2020. Springer. URL: https://cp2020.a4cp.org/, doi:10.1007/978-3-030-58475-7_9.
H. E. Dudeney. Perplexities. Strand Magazine, 68:94,214, July 1924.
Alan M Frisch, Warwick Harvey, Chris Jefferson, Bernadette Martínez-Hernández, and Ian Miguel. Essence: a constraint language for specifying combinatorial problems. Constraints, 13(3):268–306, 2008. doi:10.1007/s10601-008-9047-y.
Ruth Hoffmann. On dots in boxes, or Permutation pattern classes and regular languages. PhD thesis, University of St Andrews, 2015. URL: https://research-repository.st-andrews.ac.uk/handle/10023/7034.
Ruth Hoffmann, Xu Zhu, Özgür Akgün, and Miguel Nacenta. Understanding how people approach constraint modelling and solving. In Christine Solnon, editor, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, jul 2022. URL: https://cp2022.a4cp.org/, doi:10.4230/LIPIcs.CP.2022.28.
Gokberk Kocak, Özgür Akgün, Tias Guns, and Ian Miguel. Exploiting incomparability in solution dominance: improving general purpose constraint-based mining. In Giuseppe De Giacomo, Alejandro Catala, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, and Jérôme Lang, editors, ECAI 2020, 331–338. Netherlands, aug 2020. IOS Press. URL: https://ecai2020.eu/, doi:10.3233/FAIA200110.
Gokberk Kocak, Özgür Akgün, Ian Miguel, and Tias Guns. Towards improving solution dominance with incomparability conditions: a case-study using generator itemset mining. In The 18th workshop on Constraint Modelling and Reformulation (ModRef 2019), Proceedings. sep 2019. URL: http://cp2019.a4cp.org.
Gokberk Kocak, Özgür Akgün, Ian Miguel, and Peter Nightingale. Closed frequent itemset mining with arbitrary side constraints. In Hanghang Tong, Zhenhui (Jessie) Li, Feida Zhu, and Jeffrey Yu, editors, 2018 IEEE International Conference on Data Mining Workshops (ICDMW), 1224 – 1232. United States, nov 2018. IEEE Computer Society. URL: https://qizhiquan.github.io/OEDM-18/, doi:10.1109/ICDMW.2018.00175.
Gökberk Koçak, Özgür Akgün, Nguyen Dang, and Ian Miguel. Efficient incremental modelling and solving. In ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation. sep 2020. URL: https://modref.github.io/ModRef2020.html.
Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, and Patrick Spracklen. Automatically improving constraint models in savile row. Artificial Intelligence, 251:35–61, oct 2017. doi:10.1016/j.artint.2017.07.001.
Patrick Spracklen, Özgür Akgün, and Ian Miguel. Automatic generation and selection of streamlined constraint models via monte carlo search on a model lattice. In John Hooker, editor, Twenty-Fourth International Conference on Principles and Practice of Constraint Programming (CP 2018), 362–372. Netherlands, 2018. Springer. doi:10.1007/978-3-319-98334-9_24.
Patrick Spracklen, Nguyen Dang, Özgür Akgün, and Ian Miguel. Towards portfolios of streamlined constraint models: a case study with the balanced academic curriculum problem. In ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation. sep 2020. URL: https://modref.github.io/ModRef2020.html.
Patrick Spracklen, Nguyen Dang, Özgür Akgün, and Ian Miguel. Automatic streamlining for constrained optimisation. In Thomas Schiex and Simon de Givry, editors, Twenty-Fifth International Conference on Principles and Practice of Constraint Programming (CP 2019), 366–383. Netherlands, 2019. Springer. URL: http://cp2019.a4cp.org, doi:10.1007/978-3-030-30048-7_22.
James Wetter, Özgür Akgün, and Ian Miguel. Automatically generating streamlined constraint models with essence and conjure. In Gilles Pesant, editor, Twenty-First International Conference on Principles and Practice of Constraint Programming (CP 2015), 480–496. Netherlands, aug 2015. Springer. doi:10.1007/978-3-319-23219-5_34.
Xu Zhu, Miguel Nacenta, Özgür Akgün, and Peter Nightingale. How people visually represent discrete constraint problems. IEEE Transactions on Visualization and Computer Graphics, 26(8):2603 – 2619, jan 2019. doi:10.1109/TVCG.2019.2895085.