Felip Manyà

Citée par

	Toutes	Depuis 2018
Citations	3877	1521
indice h	33	19
indice i10	92	48

380

190

285

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202326 24 55 25 66 71 65 75 165 208 142 144 121 176 179 203 191 190 146 142 186 215 362 369 244

Accès public

Tout afficher

41 articles

7 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
Jordi PlanesUniversitat de LleidaAdresse e-mail validée de udl.cat
Carlos AnsóteguiUniversity of LleidaAdresse e-mail validée de diei.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
Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaAdresse e-mail validée de tecnico.ulisboa.pt
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
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
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
Jordi CollUniversitat de GironaAdresse e-mail validée de udg.edu
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	322*	2021
New inference rules for Max-SAT CM Li, F Manya, J Planes Journal of Artificial Intelligence Research 30, 321-359, 2007	227	2007
Resolution for max-sat ML Bonet, J Levy, F Manya Artificial Intelligence 171 (8-9), 606-618, 2007	149	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	132	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	107	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	107	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	102	2009
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT CM Li, F Manya, J Planes AAAI 6, 86-91, 2006	94	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	77	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	75	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	75	1999
Measuring the Hardness of SAT Instances. C Ansótegui, ML Bonet, J Levy, F Manya AAAI 8, 222-228, 2008	68	2008
Resolution-based lower bounds in MaxSAT CM Li, F Manya, NO Mohamedou, J Planes Constraints 15, 456-484, 2010	67	2010
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 Manya Electronic Notes in Theoretical Computer Science 86 (1), 190-203, 2003	65	2003
The SAT problem of signed CNF formulas B Beckert, R Hähnle, F Manya Labelled Deduction, 59-80, 2000	65	2000
Solving the round robin problem using propositional logic R Béjar, F Manya AAAI/IAAI, 262-266, 2000	63	2000
A complete calculus for Max-SAT ML Bonet, J Levy, F Manyà Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006	60	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