Pablo Almajano; Maite López-Sánchez; Marc Esteva; Inmaculada Rodriguez "An Assistance Infrastructure for open MAS", 14th International Conference of the Catalan Association for Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 232, Lleida, Catalonia, Spain, IOS Press, pp. 1-10, 26/10/2011. Abstract

Norman Salazar-Ramirez; Juan A. Rodríguez-Aguilar; Josep Lluis Arcos "Self-Conguring Sensors for Uncharted Environments", The Second Workshop on Cooperative Games in Multiagent Systems (CoopMAS-2011) . Workshop co-located with AAMAS-2011, Taipei, Taiiwan, 03/05/2011.

Chu Min Li; Felip Manyà; Nouredine Ould Mohamedou; Jordi Planes "Resolution-Based Lower Bounds in MaxSAT", Constraints, vol. 15, issue 4, pp. 29, 08/2010. Abstract

Chu Min Li; Felip Manyà; Zhe Quan; Zhu Zhu "Exact MinSAT Solving", International Conference on Theory and Applications of Satisfiability Testing (SAT). LNCS, vol. 6175, Edinburgh, UK, Springer, pp. 363-368, 2010.

J. Argerlich; Alba Cabiscol; Ines Lynce; Felip Manyà "New Insights into Encodings from MaxCSP into Partial MaxSAT", 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL), Barcelona, IEEE Computer Society, pp. 46-52, 2010.

Carlos Ansótegui; María Luisa Bonet; Jordi Levy "Towards Industrial-Like Random SAT Instances", Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09, Pasadena, California, AAAI Press, pp. 387-392, 14/07/2009. Abstract

Chu Min Li; Felip Manyà "MaxSAT, Hard and Soft Constraints", Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185: IOS Press, pp. 613-631, 2009. Abstract

J. Argerlich; Chu Min Li; Felip Manyà; Jordi Planes "The First and Second Max-SAT Evaluations", Journal on Satisfiability, Boolean Modeling and Computation, vol. 4, pp. 251-278, 09/2008. Abstract

Carlos Ansótegui; María Luisa Bonet; Jordi Levy; Felip Manyà "Measuring the Hardness of SAT Instances", Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08, Chicago, USA, AAAI Press, pp. 222-228, 2008. Abstract

J. Argerlich; Alba Cabiscol; Ines Lynce; Felip Manyà "Modelling Max-CSP as Partial Max-SAT", 11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008). LNCS, vol. 4996, Guangzhou, China, Springer, pp. 1-14, 2008. Abstract

María Luisa Bonet; Jordi Levy; Felip Manyà "Resolution for Max-SAT", Artificial Intelligence, vol. 171, no. 8-9, pp. 606-618, 2007. Abstract