Research output per year
Research output per year
- 11 results
Search results
-
2024
Frugal Algorithm Selection
Kus, E., Akgun, O., Miguel, I. J. & Dang, N., 29 Aug 2024, Frugal Algorithm Selection. Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 307. p. 38:1 15 p. 38Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Plotting: a case study in lifted planning with constraints
Espasa, J., Miguel, I. J., Nightingale, P., Salamon, A. Z. & Villaret, M., 13 Sept 2024, (E-pub ahead of print) In: Constraints. First online, 40 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2023
Learning when to use automatic tabulation in constraint model reformulation
Cena, C., Akgun, O., Kiziltan, Z., Miguel, I. J., Nightingale, P. & Ulrich-Oltean, F., 25 Aug 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023: Macao, SAR. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 1902-1910 9 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Towards exploratory reformulation of constraint models
Miguel, I. J., Salamon, A. Z. & Stone, C. L., 27 Jul 2023. 13 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile -
Towards optimisers that 'Keep Learning'
Hart, E., Miguel, I., Stone, C. & Renau, Q., 24 Jul 2023, GECCO '23 companion: proceedings of the Companion Conference on Genetic and Evolutionary Computation. Silva, S. & Paquete, L. (eds.). New York, NY: ACM, p. 1636-1638 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
2022
A framework for generating informative benchmark instances
Dang, N., Akgun, O., Espasa Arxer, J., Miguel, I. J. & Nightingale, P., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Solon, C. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
CONJURE: automatic generation of constraint models from problem specifications
Akgun, O., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. J. & Nightingale, P., 1 Sept 2022, In: Artificial Intelligence. 310, 27 p., 103751.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Plotting: a planning problem with complex transitions
Espasa Arxer, J., Miguel, I. J. & Villaret, M., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Solon, C. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17 p. 23. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Superlinear lower bounds based on ETH
Salamon, A. Z. & Wehar, M., 15 Mar 2022, Symposium on Theoretical Aspects of Computer Science (STACS 2022). Berenbrink, P. & Monmege, B. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 15 p. 14. (Leibniz International Proceedings in Informatics).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2021
Exploring lifted planning encodings in Essence Prime
Espasa, J., Coll, J., Miguel, I. & Villaret, M., 14 Oct 2021, Artificial Intelligence Research and Development: Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence. Villaret, M., Alsinet, T., Fernández, C. & Valls, A. (eds.). IOS Press, p. 66-75 (Frontiers in Artificial Intelligence and Applications; vol. 339).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Towards reformulating Essence specifications for robustness
Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I., Nightingale, P. & Salamon, A. Z., 25 Oct 2021, ModRef 2021 - The 20th workshop on Constraint Modelling and Reformulation (ModRef). 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile