Research output per year
Research output per year
Personal profile
Education/Academic qualification
Doctor of Philosophy, Transformations of representation in constraint satisfaction, University of Oxford
Award Date: 21 Jan 2015
Fingerprint
Dive into the research topics where Andras Salamon is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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, (arXiv preprint arXiv:2411.09576).Research output: Working paper › Preprint
-
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 -
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
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
-
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
-
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
-
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