Reasoning and Logic Department
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 January 2016 - 31 December 2019
Otros
06 September 2017 - 30 April 2018
Intramural
01 December 2014 - 30 November 2017
Plan Nacional
01 September 2007 - 31 December 2014
Plan Nacional
01 January 2011 - 31 December 2013