Felip Manyà

Departamento de Razonamiento y Lógica

Email:

felip@iiia.csic.es

Extension:

248

Position:

Scientific Staff

Publications
Projects

46 Publications

2017

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.

Download PDF

2015

Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret; Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015 IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015; 2015.

Download PDF

Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret; The Complexity of 3-Valued Lukasiewicz Rules. 12th Conference on Modeling Decisions for Artificial Intelligence (MDAI 2015); 2015.

Download PDF

2013

Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; Resolution Procedures for Multiple-Valued Optimization. Information Sciences; 2013.

Download PDF

2012

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

Download PDF

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

Download PDF

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.

Download PDF

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.

Download PDF

Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon; Optimizing with minimum satisfiability. Artificial intelligence; 2012.

Download PDF

Ramon Bejar, Cesar Fernandez, Carles Mateu, Felip Manyà, Francina Sole-Mauri, David Vidal; The Automated Vacuum Waste Collection Optimization Problem. AAAI 2012; 2012.

Download PDF

2011

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

Download PDF

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

Download PDF

Cesar Fernandez, Hector Geffner, Felip Manyà; Artificial Intelligence Research and Development. ; 2011.

Download PDF

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

Download PDF

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

Download PDF

Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon; Minimum Satisfiability and Its Applications. 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011; 2011.

Download PDF

Carlos Ansótegui, Jordi Levy; On the Modularity of Industrial SAT Instances. Proc. of the 14th Int. Conf. of the ACIA, CCIA'11; 2011.

Download PDF

2010

Chu Min Li, Felip Manyà, Zhe Quan, Zhu Zhu; Exact MinSAT Solving. International Conference on Theory and Applications of Satisfiability Testing (SAT); 2010.

Download PDF

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); 2010.

Download PDF

Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes; Resolution-Based Lower Bounds in MaxSAT. Constraints; 2010.

Download PDF

2009

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); 2009.

Download PDF

Chu Min Li, Felip Manyà; MaxSAT, Hard and Soft Constraints. Handbook of Satisfiability; 2009.

Download PDF

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); 2009.

Download PDF

2008

J. Argerlich, Felip Manyà; A Preprocessor for Max-SAT Solvers. 11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008); 2008.

Download PDF

Teresa Alsinet, Felip Manyà, Jordi Planes; An Efficient Solver for Weighted Max-SAT. Journal of Global Optimization; 2008.

Download PDF

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

Download PDF

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); 2008.

Download PDF

J. Argerlich, Chu Min Li, Felip Manyà, Jordi Planes; The First and Second Max-SAT Evaluations. Journal on Satisfiability, Boolean Modeling and Computation; 2008.

Download PDF

Chu Min Li, Felip Manyà, Nouredine O. Mohamedou, Jordi Planes; Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. 14th International Conference on Principles and Practice of Constraint Programming (CP-2008); 2008.

Download PDF

2007

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

Download PDF