Items where authors include "Akgün, Özgür"

Article

Akgün, Özgür, Frisch, Alan Mark, Gent, Ian Philip et al. (3 more authors) (2022) Conjure: Automatic Generation of Constraint Models from Problem Specifications. Artificial Intelligence. 103751. ISSN 0004-3702

Nightingale, Peter orcid.org/0000-0002-5052-8634, Akgün, Özgür, Gent, Ian P. et al. (3 more authors) (2017) Automatically improving constraint models in Savile Row. Artificial Intelligence. pp. 35-61. ISSN 0004-3702

Proceedings Paper

Cena, Carlo, Akgün, Özgür, Kiziltan, Zeynep et al. (3 more authors) (2023) Learning When to Use Automatic Tabulation in Constraint Model Reformulation. In: Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI 2023, the 32nd International Joint Conference on Artificial Intelligence, 19-25 Aug 2023. IJCAI/AAAI , MAC , pp. 1902-1910.

Akgün, Özgür, Frisch, Alan Mark, Gent, Ian Philip et al. (3 more authors) (2023) Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). In: Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI 2023, the 32nd International Joint Conference on Artificial Intelligence, 19-25 Aug 2023. IJCAI/AAAI , MAC , pp. 6833-6838. (In Press)

Dang, Nguyen, Akgün, Özgür, Espasa, Joan et al. (2 more authors) (2022) A Framework for Generating Informative Benchmark Instances. In: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). UNSPECIFIED. LIPICS .

Davidson, Ewan, Akgün, Özgür, Espasa, Joan et al. (1 more author) (2020) Effective Encodings of Constraint Programming Models to SMT. In: Proceedings of the 26th International Conference on Principles and Practice of Constraint Programming. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 143-159.

Akgün, Özgür, Gent, Ian Philip, Jefferson, Christopher Anthony et al. (2 more authors) (2016) Exploiting short supports for improved encoding of arbitrary constraints into SAT. In: Rueher, Michael, (ed.) Principles and Practice of Constraint Programming:22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , Netherlands , pp. 3-12.