Departamento de Razonamiento y Lógica
Email: 
felip@iiia.csic.es
Extension: 
248
Position: 
Scientific Staff
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.
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.
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.
2013
2012
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon; Optimizing with minimum satisfiability. Artificial intelligence; 2012.
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.
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.
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.
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.
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon; Minimum Satisfiability and Its Applications. 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011; 2011.
Carlos Ansótegui, Jordi Levy; On the Modularity of Industrial SAT Instances. Proc. of the 14th Int. Conf. of the ACIA, CCIA'11; 2011.
2010
Chu Min Li, Felip Manyà, Zhe Quan, Zhu Zhu; Exact MinSAT Solving. International Conference on Theory and Applications of Satisfiability Testing (SAT); 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); 2010.
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.
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.
2008
J. Argerlich, Felip Manyà; A Preprocessor for Max-SAT Solvers. 11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008); 2008.
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.
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.
J. Argerlich, Chu Min Li, Felip Manyà, Jordi Planes; The First and Second Max-SAT Evaluations. Journal on Satisfiability, Boolean Modeling and Computation; 2008.
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.
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.
 
Plan Nacional
01 Enero 2016 - 31 Diciembre 2018
Otros
06 Septiembre 2017 - 30 Abril 2018
Intramural
01 Diciembre 2014 - 30 Noviembre 2017
Plan Nacional
01 Septiembre 2007 - 31 Diciembre 2014
Plan Nacional
01 Enero 2011 - 31 Diciembre 2013