Felip Manyà

Citée par

	Toutes	Depuis 2019
Citations	4153	1633
indice h	35	21
indice i10	94	47

400

200

100

300

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 26 56 25 68 72 64 74 179 205 150 143 121 175 174 207 189 191 142 150 190 216 382 374 274 195

Accès public

Tout afficher

47 articles

13 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

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

Suivre

Felip Manyà

IIIA-CSIC

Aucune adresse e-mail validée

intel·ligència artificial


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
MaxSAT C Li, F Manya Handbook of satisfiability 12, 613-631, 2021	347*	2021
New inference rules for Max-SAT CM Li, F Manya, J Planes Journal of Artificial Intelligence Research 30, 321-359, 2007	230	2007
Resolution for max-sat ML Bonet, J Levy, F Manyà Artificial Intelligence 171 (8-9), 606-618, 2007	162	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	143	2004
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	115	2017
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	111	2005
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	106	2008
Exploiting cycle structures in Max-SAT CM Li, F Manya, N Mohamedou, J Planes International Conference on Theory and Applications of Satisfiability …, 2009	103	2009
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT CM Li, F Manya, J Planes AAAI 6, 86-91, 2006	97	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	94	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	84	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
Measuring the Hardness of SAT Instances. C Ansótegui, ML Bonet, J Levy, F Manya AAAI 8, 222-228, 2008	73	2008
Resolution-based lower bounds in MaxSAT CM Li, F Manya, NO Mohamedou, J Planes Constraints 15 (4), 456-484, 2010	69	2010
Optimizing with minimum satisfiability CM Li, Z Zhu, F Manyà, L Simon Artificial Intelligence 190, 32-44, 2012	68	2012
Exact algorithms for MAX-SAT H Zhang, H Shen, F Manyà Electronic Notes in Theoretical Computer Science 86 (1), 190-203, 2003	68	2003
The SAT problem of signed CNF formulas B Beckert, R Hähnle, F Manya Labelled Deduction, 59-80, 2000	68	2000
Solving the round robin problem using propositional logic R Béjar, F Manya AAAI/IAAI, 262-266, 2000	66	2000
A complete calculus for Max-SAT ML Bonet, J Levy, F Manyà Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006	64	2006
Improved branch and bound algorithms for Max-SAT T Alsinet Sixth International Conference on Theory and Applications of Satisfiability …, 2003	58	2003

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs