Departament de Raonament i 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 gener 2016 - 31 desembre 2019
Otros
06 setembre 2017 - 30 abril 2018
Intramural
01 desembre 2014 - 30 novembre 2017
Plan Nacional
01 setembre 2007 - 31 desembre 2014
Plan Nacional
01 gener 2011 - 31 desembre 2013