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

Carlos Ansótegui; Felip Manyà "A SAT-Based Approach to MinSAT", CCIA 2012, pp. 185-189, 2012.

Carlos Ansótegui; Miquel Bofill; Felip Manyà; Mateu Villaret "Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers", ISMVL 2012, 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.

; Chu Min Li; Zhu Zhu; Felip Manyà; Laurent Simon "Optimizing with minimum satisfiability", Artificial intelligence, vol. 190, pp. 32-44, 2012.

Ramon Bejar; Cesar Fernandez; Carles Mateu; Felip Manyà; Francina Sole-Mauri; David Vidal "The Automated Vacuum Waste Collection Optimization Problem", AAAI 2012, pp. 264-266, 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.

Cesar Fernandez; Hector Geffner; Felip Manyà "Artificial Intelligence Research and Development", Proceedings of the 14th International Conference of the Catalan Association for Artificial Intelligence, Lleida, Catalonia, Spain, 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.

Carlos Ansótegui; Miquel Bofill; Felip Manyà; Mateu Villaret "Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic", 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011 , Tuusula, Finland, pp. 230-235, 2011.

Chu Min Li; Zhu Zhu; Felip Manyà; Laurent Simon "Minimum Satisfiability and Its Applications", 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Barcelona, Catalonia, Spain, pp. 605-610, 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.

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.

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; 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

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

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

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

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

Carlos Ansótegui; María Luisa Bonet; Jordi Levy; Felip Manyà "A Complete Resolution Calculus for Signed Max-SAT", Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07, pp. 22, 2007. Abstract

Carlos Ansótegui; José Larrubia; Chu Min Li; Felip Manyà "Exploiting Multivalued Knowledge in Variable Selection Heuristics for SAT Solvers", Annals of Mathematics and Artificial Intelligence, vol. 49, no. 1-4, pp. 191-205, 2007.