Felip Manyà, Santiago Negrete, Carme Roig, Joan Ramon Soler; A MaxSAT-Based Approach to the Team Composition Problem in a Classroom. FIRST INTERNATIONAL WORKSHOP ON TEAMS IN MULTIAGENT SYSTEMS; 2017. [BibTeX]
2015
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret; Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015. [BibTeX]
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret; The Complexity of 3-Valued Lukasiewicz Rules. 2015. [BibTeX]
2013
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; Resolution Procedures for Multiple-Valued Optimization. Information Sciences; 2013. [PDF] [BibTeX]
2012
Zhu Zhu, Chu Min Li, Felip Manyà, J. Argerlich; A New Encoding from MinSAT into MaxSAT. 2012. [BibTeX]
Carlos Ansótegui, Felip Manyà; A SAT-Based Approach to MinSAT. 2012. [BibTeX]
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret; Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. 2012. [BibTeX]
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; 2012. [BibTeX]
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon; Optimizing with minimum satisfiability. Artificial intelligence; 2012. [BibTeX]
Ramon Bejar, Cesar Fernandez, Carles Mateu, Felip Manyà, Francina Sole-Mauri, David Vidal; The Automated Vacuum Waste Collection Optimization Problem. 2012. [BibTeX]
2011
J. Argerlich, Chu Min Li, Felip Manyà, Jordi Planes; Analyzing the Instances of the MaxSAT Evaluation. 2011. [BibTeX]
Cesar Fernandez, Hector Geffner, Felip Manyà; Artificial Intelligence Research and Development. 2011. [BibTeX]
J. Argerlich, Chu Min Li, Felip Manyà, Jordi Planes; Experimenting with the Instances of the MaxSAT Evaluation. 2011. [BibTeX]
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret; Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. 2011. [BibTeX]
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon; Minimum Satisfiability and Its Applications. 2011. [BibTeX]
