Selected publications
-
Open access
Cross-paradigm modelling: a study of Puzznic
Espasa, J., Gent, I. P., Miguel, I., Nightingale, P., Salamon, A. Z. & Villaret, M., 28 Jan 2025, Proceedings - 2024 IEEE 36th international conference on tools with artificial intelligence (ICTAI 2024). Piscataway, NJ: IEEE Computer Society, p. 89-95 7 p. 10849509. (Proceedings - International conference on tools with artificial intelligence (ICTAI)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
TabID: automatic identification and tabulation of subproblems in constraint models
Akgun, O., Gent, I. P., Jefferson, C. A., Kiziltan, Z., Miguel, I. J., Nightingale, P., Salamon, A. Z. & Ulrich-Oltean, F., 30 Mar 2025, In: Journal of Artificial Intelligence Research. 82, p. 1999-2056 58 p.Research output: Contribution to journal › Article › peer-review
-
A graph transformation-based engine for the automated exploration of constraint models
Stone, C., Salamon, A. Z. & Miguel, I., 2 Jul 2024, (E-pub ahead of print) Graph transformation: 17th international conference, ICGT 2024, held as part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, proceedings. Harmer, R. & Kosiol, J. (eds.). Cham: Springer, p. 223-238 (Lecture notes in computer science; vol. 14774 ).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Automating reformulation of Essence specifications via graph rewriting
Miguel, I., Salamon, A. Z. & Stone, C., 2 Sept 2024, p. 1-9. 9 p.Research output: Contribution to conference › Paper › peer-review
-
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 access
Challenges in modelling and solving plotting with PDDL
Espasa Arxer, J., Miguel, I. J., Nightingale, P., Salamon, A. Z. & Villaret, M., 9 Jul 2023.Research output: Contribution to conference › Paper › peer-review
-
Open access
Effective guessing has unlikely consequences
Salamon, A. Z. & Wehar, M., 1 Jun 2023, In: Theory of Computing Systems. 67, p. 548-568 21 p.Research output: Contribution to journal › Article › peer-review
-
Open access
Towards a model of Puzznic
Espasa, J., Gent, I. P., Miguel, I., Nightingale, P., Salamon, A. Z. & Villaret, M., 27 Aug 2023, p. 1-16. 16 p.Research output: Contribution to conference › Paper › peer-review
-
Open access
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
-
Automatic tabulation in constraint models
Akgün, Ö., Gent, I. P., Jefferson, C., Kiziltan, Z., Miguel, I., Nightingale, P., Salamon, A. Z. & Ulrich-Oltean, F., 26 Feb 2022, (Submitted) 51 p.Research output: Working paper › Preprint