Dr Andras Salamon
Research Fellow
Selected publications
-
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 Sep 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
-
Open access
A framework for constraint based local search using ESSENCE
Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Automatic discovery and exploitation of promising subproblems for tabulation
Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 11008).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Classification of annotation semirings over containment of conjunctive queries
Kostylev, E. V., Reutter, J. L. & Salamon, A. Z., 6 Jan 2014, In: ACM Transactions on Database Systems. 39, 1, p. 1-39 39 p., 1.Research output: Contribution to journal › Article › peer-review