Felip Felip Manyà Manyà

Tenured Scientist Tenured Scientist

Department:

Logic and Reasoning Logic and Reasoning

Position:

       

      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