FelipFelip ManyàManyà

Tenured ScientistTenured Scientist

Department:

Logic and ReasoningLogic and Reasoning

Position:

Tenured ScientistTenured Scientist

 

Vice DirectorVice Director

 

Research areas:

      Impact areas:

          SDGs:

              Website:

              E-mail:

              felip@iiia.csic.esfelip@iiia.csic.es

              Extension:

              248248
              2017
              Felip Manyà,  Santiago Negrete,  Carme Roig,  & Joan Ramon Soler (2017). A MaxSAT-Based Approach to the Team Composition Problem in a Classroom . [BibTeX]
              2015
              Miquel Bofill,  Felip Manyà,  Amanda Vidal,  & Mateu Villaret (2015). Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015 IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015 . [BibTeX]
              Miquel Bofill,  Felip Manyà,  Amanda Vidal,  & Mateu Villaret (2015). The Complexity of 3-Valued Lukasiewicz Rules. 12th Conference on Modeling Decisions for Artificial Intelligence (MDAI 2015) . [BibTeX]
              2013
              Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2013). Resolution Procedures for Multiple-Valued Optimization. Information Sciences. [BibTeX]  [PDF]
              2012
              Zhu Zhu,  Chu Min Li,  Felip Manyà,  & J. Argerlich (2012). A New Encoding from MinSAT into MaxSAT. CP 2012 . [BibTeX]
              Carlos Ansótegui,  & Felip Manyà (2012). A SAT-Based Approach to MinSAT. CCIA 2012 . [BibTeX]
              Carlos Ansótegui,  Miquel Bofill,  Felip Manyà,  & Mateu Villaret (2012). Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. ISMVL 2012 . [BibTeX]
              J. Argerlich,  Alba Cabiscol,  Ines Lynce,  & Felip Manyà (2012). Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. Multiple-Valued Logic and Soft Computing. [BibTeX]
              Chu Min Li,  Zhu Zhu,  Felip Manyà,  & Laurent Simon (2012). Optimizing with minimum satisfiability. Artificial intelligence. [BibTeX]
              Ramon Bejar,  Cesar Fernandez,  Carles Mateu,  Felip Manyà,  Francina Sole-Mauri,  & David Vidal (2012). The Automated Vacuum Waste Collection Optimization Problem. AAAI 2012 . [BibTeX]
              2011
              J. Argerlich,  Chu Min Li,  Felip Manyà,  & Jordi Planes (2011). Analyzing the Instances of the MaxSAT Evaluation. 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011 . [BibTeX]
              Cesar Fernandez,  Hector Geffner,  & Felip Manyà (2011). Artificial Intelligence Research and Development . [BibTeX]
              J. Argerlich,  Chu Min Li,  Felip Manyà,  & Jordi Planes (2011). Experimenting with the Instances of the MaxSAT Evaluation. 14th International Conference of the Catalan Association for Artificial Intelligence . [BibTeX]
              Carlos Ansótegui,  Miquel Bofill,  Felip Manyà,  & Mateu Villaret (2011). Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011 . [BibTeX]
              Chu Min Li,  Zhu Zhu,  Felip Manyà,  & Laurent Simon (2011). Minimum Satisfiability and Its Applications. 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 . [BibTeX]
              2010
              Chu Min Li,  Felip Manyà,  Zhe Quan,  & Zhu Zhu (2010). Exact MinSAT Solving. International Conference on Theory and Applications of Satisfiability Testing (SAT) . [BibTeX]
              J. Argerlich,  Alba Cabiscol,  Ines Lynce,  & Felip Manyà (2010). New Insights into Encodings from MaxCSP into Partial MaxSAT. 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL) . [BibTeX]
              Chu Min Li,  Felip Manyà,  Nouredine Ould Mohamedou,  & Jordi Planes (2010). Resolution-Based Lower Bounds in MaxSAT. Constraints. [BibTeX]
              2009
              Chu Min Li,  Felip Manyà,  Nouredine Ould Mohamedou,  & Jordi Planes (2009). Exploiting Cycle Structures in Max-SAT. 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009) . [BibTeX]
              Chu Min Li,  & Felip Manyà (2009). MaxSAT, Hard and Soft Constraints. Handbook of Satisfiability. [BibTeX]
               IP