Felip Manyà

Citado por

	Total	Desde 2019
Citas	3991	1468
Índice h	34	20
Índice i10	92	42

380

190

285

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 26 58 25 66 73 65 74 179 206 149 144 122 175 173 208 192 191 144 145 187 216 379 370 258 56

Acceso público

Ver todo

44 artículos

6 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Chu Min LiMIS, Université de Picardie Jules VerneDirección de correo verificada de u-picardie.fr
Carlos AnsóteguiUniversity of LleidaDirección de correo verificada de diei.udl.cat
Jordi PlanesUniversitat de LleidaDirección de correo verificada de udl.cat
Josep ArgelichUniversitat de LleidaDirección de correo verificada de udl.cat
Ramón Béjar TorresUniversity of LleidaDirección de correo verificada de udl.cat
Cèsar FernándezComputer Science Dpt. University of LleidaDirección de correo verificada de diei.udl.cat
Jordi LevyResearch Scientist, IIIA-CSICDirección de correo verificada de iiia.csic.es
Teresa AlsinetTitular d'Universitat, Universitat de LleidaDirección de correo verificada de udl.cat
Joan Ramon SolerPhD, IIIA-CSIC, UAB, Barcelona, SpainDirección de correo verificada de iiia.csic.es
Hua JiangAssistant Professor, Yunnan University, ChinaDirección de correo verificada de ynu.edu.cn
Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
Miquel Bofill ArasaUniversitat de GironaDirección de correo verificada de udg.edu
Mateu Villaret AuselleUniversitat de GironaDirección de correo verificada de ima.udg.edu
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtDirección de correo verificada de cs.tu-darmstadt.de
amanda vidalArtifficial Intelligence Research Institute - CSICDirección de correo verificada de iiia.csic.es
Bernhard BeckertProfessor of Informatics, Karlsruhe Institute of TechnologyDirección de correo verificada de kit.edu
Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)Dirección de correo verificada de labri.fr
Jordi CollUniversitat de GironaDirección de correo verificada de udg.edu
Christian BlumSenior Research Scientist, Artificial Intelligence Research Institute (IIIA-CSIC)Dirección de correo verificada de iiia.csic.es
JOSE TORRES-JIMENEZCINVESTAV TamaulipasDirección de correo verificada de cinvestav.mx

Seguir

Felip Manyà

IIIA-CSIC

No hay ninguna dirección de correo electrónico verificada.

intel·ligència artificial


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
MaxSAT C Li, F Manya Handbook of satisfiability 12, 613-631, 2021	329*	2021
New inference rules for Max-SAT CM Li, F Manya, J Planes Journal of Artificial Intelligence Research 30, 321-359, 2007	231	2007
Resolution for max-sat ML Bonet, J Levy, F Manyà Artificial Intelligence 171 (8-9), 606-618, 2007	151	2007
Mapping problems with finite-domain variables to problems with boolean variables C Ansótegui, F Manya International conference on theory and applications of satisfiability …, 2004	139	2004
Exploiting unit propagation to compute lower bounds in branch and bound Max-SAT solvers CM Li, F Manya, J Planes International conference on principles and practice of constraint …, 2005	110	2005
An effective learnt clause minimization approach for CDCL SAT solvers M Luo, CM Li, F Xiao, F Manya, Z Lü Proceedings of the 26th International Joint Conference on Artificial …, 2017	108	2017
The first and second Max-SAT evaluations J Argelich, CM Li, F Manya, J Planes Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 251-278, 2008	105	2008
Exploiting cycle structures in Max-SAT CM Li, F Manya, N Mohamedou, J Planes International Conference on Theory and Applications of Satisfiability …, 2009	102	2009
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT CM Li, F Manya, J Planes AAAI 6, 86-91, 2006	96	2006
On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem CM Li, H Jiang, F Manyà Computers & Operations Research 84, 1-15, 2017	86	2017
An exact algorithm for the maximum weight clique problem in large graphs H Jiang, CM Li, F Manya Proceedings of the AAAI conference on artificial intelligence 31 (1), 2017	79	2017
Transformations between signed and classical clause logic B Beckert, R Hahnle, F Manya Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic …, 1999	77	1999
Resolution-based lower bounds in MaxSAT CM Li, F Manya, NO Mohamedou, J Planes Constraints 15 (4), 456-484, 2010	69	2010
Measuring the Hardness of SAT Instances. C Ansótegui, ML Bonet, J Levy, F Manya AAAI 8, 222-228, 2008	69	2008
Optimizing with minimum satisfiability CM Li, Z Zhu, F Manyà, L Simon Artificial Intelligence 190, 32-44, 2012	66	2012
Exact algorithms for MAX-SAT H Zhang, H Shen, F Manyà Electronic Notes in Theoretical Computer Science 86 (1), 190-203, 2003	66	2003
The SAT problem of signed CNF formulas B Beckert, R Hähnle, F Manya Labelled Deduction, 59-80, 2000	66	2000
Solving the round robin problem using propositional logic R Béjar, F Manya AAAI/IAAI, 262-266, 2000	65	2000
A complete calculus for Max-SAT ML Bonet, J Levy, F Manyà Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006	62	2006
Improved branch and bound algorithms for Max-SAT T Alsinet Sixth International Conference on Theory and Applications of Satisfiability …, 2003	58	2003

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores