Items where authors include "Salamon, András Z."

Article

Espasa, Joan, Miguel, Ian, Nightingale, Peter orcid.org/0000-0002-5052-8634 et al. (2 more authors) (2024) Plotting:A Case Study in Lifted Planning with Constraints. Journal of Constraints. ISSN 1383-7133

Proceedings Paper

Espasa, Joan, Gent, Ian Philip, Miguel, Ian et al. (3 more authors) (2024) Cross-Paradigm Modelling: A Study of Puzznic. In: 2024 IEEE 36th International Conference on Tools with Artificial Intelligence. IEEE International Conference on Tools with Artificial Intelligence, 28-30 Oct 2024. IEEE Computer Society , USA .

Ansótegui, Carlos, Bofill, Miquel, Coll, Jordi et al. (7 more authors) (2019) Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. In: Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. UNSPECIFIED. Springer , pp. 20-36.

Akgun, Ozgur, Gent, Ian Philip, Jefferson, Christopher Anthony et al. (3 more authors) (2018) Automatic discovery and exploitation of promising subproblems for tabulation. In: Hooker, John, (ed.) Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Proceedings:24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , Netherlands , pp. 3-12.

Akgun, Ozgur, Attieh, Saad Wasim A, Gent, Ian Philip et al. (6 more authors) (2018) A framework for constraint based local search using ESSENCE. In: Lang, Jérôme, (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. UNSPECIFIED. International Joint Conferences on Artificial Intelligence , pp. 1242-1248.