Departamento de Razonamiento y Lógica
Email: 
felip@iiia.csic.es
Extension: 
248
Position: 
Scientific Staff
46 Publications
2007
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; Mapping CSP into Many-Valued SAT. Proc. of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT'07; 2007.
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; The Logic behind Weighted CSP. Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07; 2007.
2006
Chu Min Li, Felip Manyà, J. Planes; Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. Proceedings of the 21st National Conference on Artificial Intelligence, AAAI-2006, Boston/MA, USA; 2006.
J. Argerlich, Xavier Domingo, Chu Min Li, Felip Manyà, J. Planes; Towards Solving Many-Valued MaxSAT. Proceedings, 36th International Symposium on Multiple-Valued Logics (ISMVL-2006), Singapore; 2006.
2005
Carlos Ansótegui, Felip Manyà; Mapping many-valued CNF Formulas to Boolean CNF Formulas. Proc. 35th Intern. Symposium on Multiple-Valued logics ISMVL; 2005.
 
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