Jordi Planes - Citas de Google Académico

Citado por

	Total	Desde 2015
Citas	1435	553
Índice h	16	12
Índice i10	25	15

140

105

2003200420052006200720082009201020112012201320142015201620172018201920207 13 11 15 52 116 79 98 102 97 128 138 110 126 91 102 113 11

Coautores

Chu Min LiMIS, Université de Picardie Jules VerneDirección de correo verificada de u-picardie.fr
Joao Marques-SilvaResearch Chair, ANITI, Université Fédérale Toulouse Midi-Pyrénées, FranceDirección de correo verificada de acm.org
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
Carles MateuAssociate Professor, Universitat de 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
Daniel Gibertpredoctoral researcher, University of 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
Alexey IgnatievFaculty of Information Technology, Monash UniversityDirección de correo verificada de monash.edu
Jordi Castellà-RocaUniversitat Rovira i VirgiliDirección de correo verificada de urv.cat
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
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	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	184	2007
Algorithms for weighted boolean optimization V Manquinho, J Marques-Silva, J Planes International conference on theory and applications of satisfiability …, 2009	156	2009
Algorithms for maximum satisfiability using unsatisfiable cores J Marques-Sila, J Planes Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011	146	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	124	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	90	2005
Exploiting cycle structures in Max-SAT CM Li, F Manyà, N Mohamedou, J Planes International Conference on Theory and Applications of Satisfiability …, 2009	83	2009
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT CM Li, F Manya, J Planes AAAI 6, 86-91, 2006	78	2006
The first and second Max-SAT evaluations J Argelich, CM Li, F Manya, J Planes Journal on Satisfiability, Boolean Modeling and Computation 4, 251-278, 2008	74	2008
On using unsatisfiability for solving maximum satisfiability J Marques-Silva, J Planes arXiv preprint arXiv:0712.1097, 2007	55	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	43	2010
Improved exact solvers for weighted Max-SAT T Alsinet, F Manyà, J Planes International Conference on Theory and Applications of Satisfiability …, 2005	36	2005
A Max-SAT solver with lazy data structures T Alsinet, F Manya, J Planes Ibero-American Conference on Artificial Intelligence, 334-342, 2004	28	2004
MaxSAT evaluation J Argelich, CM Li, F Manya, J Planes URl: http://www. maxsat. udl. cat, 2007	23	2007
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
An efficient solver for weighted Max-SAT T Alsinet, F Manya, J Planes Journal of Global Optimization 41 (1), 61-73, 2008	21	2008
Iterative SAT solving for minimum satisfiability F Hers, A Morgado, J Planes, J Marques-Silva 2012 IEEE 24th International Conference on Tools with Artificial …, 2012	16	2012
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	15	2017
A MAX-SAT Algorithm Portfolio. PJ Matos, J Planes, F Letombe, J Marques-Silva ECAI, 911-912, 2008	15	2008
Improved branch and bound algorithms for Max-2-SAT and Weighted Max-2-SAT T Alsinet, F Manya, J Planes Proceedings of the Catalonian Conference on Artificial Intelligence (CCIA-03 …, 2003	13	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

Subir PDF

Seguir a este autor

Citado por

Coautores