Jordi Planes

Citado por

	Total	Desde 2016
Citas	1623	623
Índice h	19	15
Índice i10	29	19

180

135

20032004200520062007200820092010201120122013201420152016201720182019202020216 12 12 18 52 122 86 93 98 100 132 132 106 133 97 102 121 164 4

Coautores

Chu Min LiMIS, Université de Picardie Jules VerneDirección de correo verificada de u-picardie.fr
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIDirección de correo verificada de irit.fr
Carles MateuAssociate Professor, Universitat de LleidaDirección de correo verificada de udl.cat
Josep ArgelichUniversitat de LleidaDirección de correo verificada de diei.udl.cat
Teresa AlsinetTitular d'Universitat, Universitat de LleidaDirección de correo verificada de diei.udl.cat
Daniel Gibertpredoctoral researcher, University of LleidaDirección de correo verificada de diei.udl.cat
Ramón Béjar TorresUniversity of LleidaDirección de correo verificada de diei.udl.cat
Fernando GuiradoUniversitat de LleidaDirección de correo verificada de diei.udl.cat
Cèsar FernándezComputer Science Dpt. University of LleidaDirección de correo verificada de diei.udl.cat
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaDirección de correo verificada de inesc-id.pt
Mark LiffitonIllinois Wesleyan UniversityDirección de correo verificada de iwu.edu
Josep Domingo-FerrerDistinguished Professor, Universitat Rovira i Virgili, UNESCO Chair in Data Privacy, FIEEE, ACM DSDirección de correo verificada de urv.cat
Jordi Herrera-JoancomartíAssociate Professor, Universitat Autònoma de BarcelonaDirección de correo verificada de uab.cat
Jordi Castellà-RocaUniversitat Rovira i VirgiliDirección de correo verificada de urv.cat
Alexey IgnatievFaculty of Information Technology, Monash UniversityDirección de correo verificada de monash.edu
Paulo MatosInstitute Polytechnic of BragançaDirección de correo verificada de ipb.pt
Roberto GarcíaAssociate Professor, Universitat de Lleida, SpainDirección de correo verificada de diei.udl.cat
Anton AlujaCatedrático de Psicopatología. Universitat de Lleida (Catalonia)Dirección de correo verificada de pip.udl.cat
Eduardo Blanco CalvoUniversity of LleidaDirección de correo verificada de pip.udl.cat
Rosa Gil IranzoProfessor of Computer Science, Universitat de LleidaDirección de correo verificada de diei.udl.cat

Jordi Planes

Universitat de Lleida

Dirección de correo verificada de diei.udl.cat - Página principal

Artificial Intelligence


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
New inference rules for Max-SAT CM Li, F Manya, J Planes Journal of Artificial Intelligence Research 30, 321-359, 2007	192	2007
Algorithms for weighted boolean optimization V Manquinho, J Marques-Silva, J Planes International conference on theory and applications of satisfiability …, 2009	170	2009
Algorithms for maximum satisfiability using unsatisfiable cores J Marques-Sila, J Planes Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011	153	2011
Iterative and core-guided MaxSAT solving: A survey and assessment A Morgado, F Heras, M Liffiton, J Planes, J Marques-Silva Constraints 18 (4), 478-534, 2013	147	2013
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	93	2005
Exploiting cycle structures in Max-SAT CM Li, F Manya, N Mohamedou, J Planes International Conference on Theory and Applications of Satisfiability …, 2009	86	2009
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	82	2008
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT CM Li, F Manya, J Planes AAAI 6, 86-91, 2006	81	2006
On using unsatisfiability for solving maximum satisfiability J Marques-Silva, J Planes arXiv preprint arXiv:0712.1097, 2007	59	2007
Improved branch and bound algorithms for Max-SAT T Alsinet, F Manya, J Planes	51	2003
Resolution-based lower bounds in MaxSAT CM Li, F Manyà, NO Mohamedou, J Planes Constraints 15 (4), 456-484, 2010	48	2010
Improved exact solvers for weighted Max-SAT T Alsinet, F Manyà, J Planes International Conference on Theory and Applications of Satisfiability …, 2005	40	2005
A Max-SAT solver with lazy data structures T Alsinet, F Manya, J Planes Ibero-American Conference on Artificial Intelligence, 334-342, 2004	33	2004
The rise of machine learning for detection and classification of malware: Research developments, trends and challenges D Gibert, C Mateu, J Planes Journal of Network and Computer Applications 153, 102526, 2020	31	2020
Using convolutional neural networks for classification of malware represented as images D Gibert, C Mateu, J Planes, R Vicens Journal of Computer Virology and Hacking Techniques 15 (1), 15-28, 2019	29	2019
MaxSAT evaluation J Argelich, CM Li, F Manya, J Planes URL: http://www. maxsat. udl. cat, 2007	24	2007
An efficient solver for weighted Max-SAT T Alsinet, F Manya, J Planes Journal of Global Optimization 41 (1), 61-73, 2008	22	2008
Weighted argumentation for analysis of discussions in Twitter T Alsinet, J Argelich, R Béjar, C Fernández, C Mateu, J Planes International Journal of Approximate Reasoning 85, 21-35, 2017	21	2017
Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments E Gabaldon, JL Lerida, F Guirado, J Planes The Journal of Supercomputing 73 (1), 354-369, 2017	20	2017
A MAX-SAT Algorithm Portfolio. PJ Matos, J Planes, F Letombe, J Marques-Silva ECAI, 911-912, 2008	17	2008

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

Subir PDF

Seguir a este autor

Citado por

Coautores