Mostrando resultados 30 a 49 de 50
< Anterior
Siguiente >
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
closedAccess | | 19-may-2014 | Many-Valued MinSAT Solving | Argelich, Josep; Min Li, Chu; Manyà, Felip CSIC ORCID ; Zhu Zhu | comunicación de congreso |
closedAccess | | 16-sep-2013 | MinSAT versus MaxSAT for Optimization Problems | Argelich, Josep; Li, Chu Min; Manyà, Felip CSIC ORCID ; Zhu, Zhu | capítulo de libro |
closedAccess | | 2014 | Modeling energy consumption in automated vacuum waste collection systems | Fernández, César; Manyà, Felip CSIC ORCID ; Mateu, Carles; Sole-Mauri, Francina | artículo |
openAccess | | ago-2022 | Negative Learning Ant Colony Optimization for MaxSAT | Teddy Nurcahyadi; Blum, Christian CSIC ORCID ; Manyà, Felip CSIC ORCID | artículo |
openAccess | | abr-2019 | New complexity results for Lukasiewicz logic | Bofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateu | artículo |
closedAccess | | 2007 | New inference rules for max-SAT | Li, Chumin; Manyà, Felip CSIC ORCID ; Planes, Jordi | artículo |
closedAccess | | 2017 | On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem | Li, Chumin; Jiang, Hua; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 2012 | Optimizing with minimum satisfiability | Li, Chumin; Zhu, Zhu; Manyà, Felip CSIC ORCID ; Simon, Laurent | artículo |
closedAccess | | 2011 | Preface: Artificial intelligence research and development | Fernández, César; Geffner, Hector; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 2007 | Regular-SAT: A many-valued approach to solving combinatorial problems | Bejar, Ramon; Manyà, Felip CSIC ORCID ; Cabiscol, Alba; Fernández, César; Gomes, Carla | artículo |
closedAccess | | 2007 | Resolution for Max-SAT | Bonet, María Luisa; Levy, Jordi CSIC ORCID ; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 2013 | Resolution procedures for multiple-valued optimization | Ansotegui, Carlos; Bonet, María Luisa; Levy, Jordi CSIC ORCID ; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 2010 | Resolution-based lower bounds in MaxSAT | Li, Chumin; Manyà, Felip CSIC ORCID ; Mohamedou, Nouredine O.; Planes, Jordi | artículo |
closedAccess | | 2015 | SAT and SMT technology for many-valued logics | Ansotegui, Carlos; Bofill, Miquel; Manyà, Felip CSIC ORCID ; Villaret, Mateu | artículo |
closedAccess | | 2021 | Solving longest common subsequence problems via a transformation to the maximum clique problem | Blum, Christian CSIC ORCID ; Djukanovic, Marco; Santini, Alberto; Jiang, Hua; Li, Chu-Min; Manyà, Felip CSIC ORCID ; Raidl, G.R. | artículo |
closedAccess | | 25-oct-2017 | Solving MaxSAT with Natural Deduction | Casas-Roma, Joan; Huertas, M. Antonia; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 2020 | Solving the Team Composition Problem in a Classroom | Manyà, Felip CSIC ORCID ; Negrete, Santiago; Roig, Carme; Soler, Joan Ramon CSIC | artículo |
openAccess | | 10-nov-2020 | Tableaux for Maximum Satisfiability in Lukasiewicz Logic | Manyà, Felip CSIC ORCID ; Min Li, Chu; Vidal, Amanda | comunicación de congreso |
openAccess | | 2015 | The Complexity of 3-Valued Lukasiewicz Rules | Bofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateu | comunicación de congreso |
openAccess | | 2021 | White Paper 11: Artificial intelligence, robotics and data science | Degli Esposti, Sara CSIC ORCID CVN ; Sierra, Carles CSIC ORCID ; Manyà, Felip CSIC ORCID ; Colomé, Adrià CSIC ORCID ; Osman, Nardine CSIC ORCID ; López Castro, Daniel CSIC; Ramasco, José J. CSIC ORCID ; Lloret Iglesias, Lara CSIC ORCID; Alenyà, Guillem CSIC ORCID ; Villagrá, Jorge CSIC ORCID ; Castillo, M. Dolores del CSIC ORCID ; Schorlemmer, Marco CSIC ORCID ; Noriega, Pablo CSIC ORCID ; Ausín, Txetxu CSIC ORCID CVN ; Serrano-Gotarredona, Teresa CSIC ORCID ; Oyanguren, Arantza CSIC ORCID; Arroyo Guardeño, David CSIC ORCID CVN ; Brox, Piedad CSIC ORCID ; Marco de Lucas, Jesús Eugenio; Moreno-Arribas, M. Victoria CSIC ORCID | libro |