Zhu Zhu; Chu Min Li; Felip Manyà; J. Argerlich "A New Encoding from MinSAT into MaxSAT", CP 2012, pp. 455-463, 2012.

J. Argerlich; Alba Cabiscol; Ines Lynce; Felip Manyà "Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT", Multiple-Valued Logic and Soft Computing, vol. 19, issue 1-3, pp. 3-23, 2012.

J. Argerlich; Chu Min Li; Felip Manyà; Jordi Planes "Analyzing the Instances of the MaxSAT Evaluation", 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011. Lecture Notes in Computer Science, vol. 6695, Ann Arbor, MI, USA, Springer, pp. 360-361, 2011.

J. Argerlich; Chu Min Li; Felip Manyà; Jordi Planes "Experimenting with the Instances of the MaxSAT Evaluation", 14th International Conference of the Catalan Association for Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 232, Lleida, Catalonia, Spain, IOS Press, pp. 31-40, 2011.

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.

J. Argerlich; Alba Cabiscol; Ines Lynce; Felip Manyà "Sequential Encodings from Max-CSP into Partial Max-SAT", 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009), vol. LNCS 5584, Swansea, UK, pp. 161-166, 2009.

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

J. Argerlich; Felip Manyà "A Preprocessor for Max-SAT Solvers", 11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008). LNCS, vol. 4996, Guangzhou, China, Springer, pp. 15-20, 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

J. Argerlich; Felip Manyà "Exact Max-SAT solvers for over-constrained problems", Journal of Heuristics, no. 12, pp. 375-392, 2006. Abstract

J. Argerlich; Xavier Domingo; Chu Min Li; Felip Manyà; J. Planes "Towards Solving Many-Valued MaxSAT", Proceedings, 36th International Symposium on Multiple-Valued Logics (ISMVL-2006), Singapore: IEEE CS Press, 2006.

J. Argerlich; Felip Manyà "Solving over-constrained problems with SAT technology", Lecture Notes in Computer Science, no. 3569: Springer-Verlag, pp. 1 - 15, 2005. Abstract