Selected publications
-
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 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
-
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 proceeding › Conference 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 proceeding › Conference contribution
-
Open access
Discriminating instance generation from abstract specifications: a case study with CP and MIP
Akgün, Ö., Dang, N., Miguel, I., Salamon, A. Z., Spracklen, P. & Stone, C., 2020, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020, Proceedings. Hebrard, E. & Musliu, N. (eds.). Cham: Springer, p. 41-51 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12296 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Exploring instance generation for automated planning
Akgün, Ö., Dang, N., Espasa, J., Miguel, I., Salamon, A. Z. & Stone, C., 7 Sept 2020, ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation. 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
Ansótegui, C., Bofill, M., Coll, J., Dang, N., Esteban, J. L., Miguel, I., Nightingale, P., Salamon, A. Z., Suy, J. & Villaret, M., 2019, Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Proceedings. Schiex, T. & de Givry, S. (eds.). Springer, p. 20-36 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11802 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Instance generation via generator instances
Akgun, O., Dang, N., Miguel, I. J., Salamon, A. Z. & Stone, C. L., 2019, Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings. Schiex, T. & de Givry, S. (eds.). Cham: Springer, p. 3-19 (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 11802).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution