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
-
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 -
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 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 -
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
Datasets
-
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
-
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