Mateu Villaret; Teresa Alsinet; Cèsar Fernández; Aïda Valls Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence. (NLD): IOS Press, 2021. Bofill, M.; Espasa, J.; Villaret, M. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). Melbourne (AUS): , 2017. Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). Melbourne (AUS): , 2017. Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Principles and Practice of Constraint Programming - Lecture Notes in Computer Science. Melbourne (AUS): Springer International Publishing, 2017. Bofill, M.; Coll, J.; Suy, J.; Villaret, M. 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI). San José, CA (USA): IEEE, 2016. Bofill, M.; Espasa, J.; Villaret, M. Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016). London (GBR): Association for the Advancement of Artificial Intelligence (AAAI), 2016. Manfred Schmidt-Schauß; Temur Kutsia; Jordi Levy; Mateu Villaret Lecture Notes in Computer Science. (GBR): Springer, 2016. Bofill, M.; Garcia, M.; Giráldez-Cru, J.; Villaret, M. Pragmatics of SAT 2016. Bordeaux (FRA): , 2016.
Bofill, M.; Busquets, D.; Villaret, M. " A Declarative approach to robust weighted max-SAT ." Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming. New York (USA): ACM Press, 2010. Bofill, M.; Palahí, M.; Villaret, M. " A system for CSP solving through Satisfiability Modulo Theories ." IX Jornadas sobre Programación y Lenguajes. (ESP): , 2001.
Levy, J.; Kohlhase, M.; Niehren, J.; Villaret, M. Proceedings of the 17th international workshop on unification, . València (ESP): Universistat Politècnica de València. DSIC (Departament de Sistemes Informàtics i Computació), 2003.
Torra, V.; Narukawa, Y.; Beatriz, L.; Villaret, M. Proceedings Modeling Decisions for Artificial Intelligence - 9th International Conference, MDAI 2012, . (DEU): Springer-Verlag Heidelberg, 2012.
Villaret, M. On Some Variants of Second-Order Unification, Monografies de l'IIIA. Bellaterra (ESP): , 2005.
Bofill, M.; Villaret, M. Apunts teòrico-pràctics d’algorísmica-I, http://ima.udg.es/Docencia/03-04/3105IG0002/index.html. (000): , 2003. Villaret, M. Apunts teòrico-pràctics de llenguatges de programació, http://ima.udg.es/~villaret/docencia.html. (000): , 2003.