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.

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à; Nouredine Ould Mohamedou; Jordi Planes "Exploiting Cycle Structures in Max-SAT", 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009). LNCS, vol. 5584, Swansea, UK, Springer, pp. 467-480, 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

Teresa Alsinet; Felip Manyà; Jordi Planes "An Efficient Solver for Weighted Max-SAT", Journal of Global Optimization, vol. 41, no. 1, pp. 61-73, 2008. Abstract

Chu Min Li; Felip Manyà; Nouredine Ould Mohamedou; Jordi Planes "Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation", 14th International Conference on Principles and Practice of Constraint Programming (CP-2008). LNCS, vol. 5202, Sydney, Australia, Springer, pp. 582-587, 2008. Abstract

Chu Min Li; Felip Manyà; Jordi Planes "New Inference Rules for Max-SAT", Journal of Artificial Intelligence Research, vol. 30, pp. 321-359, 2007.