Personal profile
Education/Academic qualification
Doctor of Philosophy, Transformations of representation in constraint satisfaction, University of Oxford
Award Date: 21 Jan 2015
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
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 AccessFile -
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
Open AccessFile -
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
-
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 AccessFile
Datasets
-
Discriminating instance generation from abstract specifications: a case study with CP and MIP (dataset)
Akgun, O. (Creator), Dang, N. T. T. (Creator) & Salamon, A. (Creator), GitHub, 2020
https://github.com/stacs-cp/CPAIOR2020-InstanceGen
Dataset
-
Automatic discovery and exploitation of promising subproblems for tabulation (dataset)
Akgun, O. (Creator), Gent, I. P. (Creator), Jefferson, C. A. (Creator), Miguel, I. J. (Creator), Nightingale, P. W. (Creator) & Salamon, A. Z. (Creator), GitHub, 3 Jul 2018
https://github.com/stacs-cp/cp2018-tabulation
Dataset
-
Instance Generation via Generator Instances (dataset)
Akgun, O. (Creator), Dang, N. T. T. (Creator), Miguel, I. J. (Creator), Salamon, A. (Creator) & Stone, C. L. (Creator), GitHub, 2019
https://github.com/stacs-cp/CP2019-InstanceGen
Dataset
-
Plotting: a case study in lifted planning with constraints (dataset)
Espasa Arxer, J. (Creator) & Salamon, A. (Creator), GitHub, 2024
https://github.com/stacs-cp/Plotting-Journal
Dataset
-
Experimental Data for TabID Journal Paper
Akgün, Ö. (Creator), Gent, I. (Creator), Jefferson, C. (Creator), Kiziltan, Z. (Creator), Miguel, I. (Creator), Nightingale, P. (Creator), Salamon, A. Z. (Creator), Ulrich-Oltean, F. (Creator) & Ulrich-Oltean, F. (Contributor), University of York, 28 Jan 2025
DOI: 10.15124/c24d61e6-ee25-40ed-828d-b941158f862f
Dataset