Items where authors include "Espasa, Joan"

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 .

Dang, Nguyen, Akgün, Özgür, Espasa, Joan et al. (2 more authors) (2022) A Framework for Generating Informative Benchmark Instances. In: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). UNSPECIFIED. LIPICS .

Davidson, Ewan, Akgün, Özgür, Espasa, Joan et al. (1 more author) (2020) Effective Encodings of Constraint Programming Models to SMT. In: Proceedings of the 26th International Conference on Principles and Practice of Constraint Programming. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 143-159.