Items where authors include "Villaret, Mateu"

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

Bofill, Miquel, Coll, Jordi, Nightingale, Peter orcid.org/0000-0002-5052-8634 et al. (3 more authors) (2022) SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artificial Intelligence. 103604. ISSN 0004-3702

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 .

Bofill, Miquel, Coll, Jordi, Nightingale, Peter orcid.org/0000-0002-5052-8634 et al. (3 more authors) (2023) SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). In: Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI 2023, the 32nd International Joint Conference on Artificial Intelligence, 19-25 Aug 2023. IJCAI/AAAI , MAC , pp. 6853-6857.

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.