Felip Felip Manyà Manyà

Tenured Scientist Tenured Scientist

Department:

Logic and Reasoning Logic and Reasoning

Position:

Tenured Scientist Tenured Scientist

 

Vice Director Vice Director

 

Research areas:

      Impact areas:

          SDGs:

              Website:

              E-mail:

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

              Extension:

              248 248
              2017
              Felip ManyàSantiago NegreteCarme RoigJoan Ramon Soler; A MaxSAT-Based Approach to the Team Composition Problem in a Classroom. FIRST INTERNATIONAL WORKSHOP ON TEAMS IN MULTIAGENT SYSTEMS; 2017.  [BibTeX]
              2015
              Miquel BofillFelip ManyàAmanda VidalMateu Villaret; Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015.  [BibTeX]
              Miquel BofillFelip ManyàAmanda VidalMateu Villaret; The Complexity of 3-Valued Lukasiewicz Rules. 2015.  [BibTeX]
              2013
              Carlos AnsóteguiMaría Luisa BonetJordi LevyFelip Manyà; Resolution Procedures for Multiple-Valued Optimization. Information Sciences; 2013.  [PDF]  [BibTeX]
              2012
              Zhu ZhuChu Min LiFelip ManyàJ. Argerlich; A New Encoding from MinSAT into MaxSAT. 2012.  [BibTeX]
              Carlos AnsóteguiFelip Manyà; A SAT-Based Approach to MinSAT. 2012.  [BibTeX]
              Carlos AnsóteguiMiquel BofillFelip ManyàMateu Villaret; Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. 2012.  [BibTeX]
              J. ArgerlichAlba CabiscolInes LynceFelip Manyà; Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. Multiple-Valued Logic and Soft Computing; 2012.  [BibTeX]
              Chu Min LiZhu ZhuFelip ManyàLaurent Simon; Optimizing with minimum satisfiability. Artificial intelligence; 2012.  [BibTeX]
              Ramon BejarCesar FernandezCarles MateuFelip ManyàFrancina Sole-MauriDavid Vidal; The Automated Vacuum Waste Collection Optimization Problem. 2012.  [BibTeX]
              2011
              J. ArgerlichChu Min LiFelip ManyàJordi Planes; Analyzing the Instances of the MaxSAT Evaluation. 2011.  [BibTeX]
              Cesar FernandezHector GeffnerFelip Manyà; Artificial Intelligence Research and Development. 2011.  [BibTeX]
              J. ArgerlichChu Min LiFelip ManyàJordi Planes; Experimenting with the Instances of the MaxSAT Evaluation. 2011.  [BibTeX]
              Carlos AnsóteguiMiquel BofillFelip ManyàMateu Villaret; Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. 2011.  [BibTeX]
              Chu Min LiZhu ZhuFelip ManyàLaurent Simon; Minimum Satisfiability and Its Applications. 2011.  [BibTeX]
              2010
              Chu Min LiFelip ManyàZhe QuanZhu Zhu; Exact MinSAT Solving. 2010.  [BibTeX]
              J. ArgerlichAlba CabiscolInes LynceFelip Manyà; New Insights into Encodings from MaxCSP into Partial MaxSAT. 2010.  [BibTeX]
              Chu Min LiFelip ManyàNouredine Ould MohamedouJordi Planes; Resolution-Based Lower Bounds in MaxSAT. Constraints; 2010.  [BibTeX]
              2009
              Chu Min LiFelip ManyàNouredine Ould MohamedouJordi Planes; Exploiting Cycle Structures in Max-SAT. 2009.  [BibTeX]
              Chu Min LiFelip Manyà; MaxSAT, Hard and Soft Constraints. 2009.  [BibTeX]
              IP