Dr Andras Salamon

Research Fellow

Researcher profile

Email
Andras.Salamon@st-andrews.ac.uk

 

Selected publications

  • 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 journalArticlepeer-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 proceedingConference 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 paperPreprint

  • 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 journalArticlepeer-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 conferencePaperpeer-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 journalArticlepeer-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 conferencePaperpeer-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 paperPreprint

  • Open access

    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 proceedingConference contribution

  • Open access

    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 proceedingConference contribution

 

See more publications