Jordi Levy

Cited by

	All	Since 2017
Citations	2196	1004
h-index	27	19
i10-index	49	30

240

120

180

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202213 12 33 26 26 24 26 46 20 12 22 32 24 33 46 65 46 73 88 103 129 120 139 170 124 193 154 233 128

Public access

View all

25 articles

1 article

available

not available

Based on funding mandates

Co-authors

Carlos AnsóteguiUniversity of LleidaVerified email at diei.udl.cat
Maria Luisa BonetLSI, UPCVerified email at lsi.upc.edu
Mateu Villaret AuselleUniversitat de GironaVerified email at ima.udg.edu
Jesús Giráldez-CruUniversidad de GranadaVerified email at ugr.es
Manfred Schmidt-SchaußProfessor für Informatik, Goethe-University FrankfurtVerified email at ki.informatik.uni-frankfurt.de
Margus VeanesMicrosoft ResearchVerified email at microsoft.com
Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)Verified email at labri.fr
Francesc EstevaInvestigador emèrit, Institut d'investigació en IA (IIIA - CSIC)Verified email at iiia.csic.es
Joachim NiehrenINRIA LilleVerified email at inria.fr
Thomas BläsiusKarlsruhe Institute of TechnologyVerified email at kit.edu
Filippo BistaffaPost-Doctoral Research Fellow, IIIA-CSICVerified email at iiia.csic.es
Dave de JongeIIIA-CSICVerified email at iiia.csic.es
David RobertsonProfessor of Applied Logic, University of EdinburghVerified email at inf.ed.ac.uk
Chu Min LiMIS, Université de Picardie Jules VerneVerified email at u-picardie.fr
Ralf RothenbergerHasso Plattner Institute PotsdamVerified email at hpi.de
Andreas GöbelHasso Plattner Institute, University of PotsdamVerified email at hpi.de
Tobias FriedrichChair for Algorithm Engineering, Hasso Plattner Institute, Potsdam, GermanyVerified email at hpi.de
Marco SchorlemmerArtificial Intelligence Research Institute, IIIA-CSICVerified email at iiia.csic.es
Felip ManyaIIIA-CSIC

Jordi Levy

Research Scientist, IIIA-CSIC

Verified email at iiia.csic.es - Homepage

Logic SAT Satisfiability Automated Deduction Rewriting


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Solving (weighted) partial MaxSAT through satisfiability testing C Ansótegui, ML Bonet, J Levy International conference on theory and applications of satisfiability …, 2009	178	2009
SAT-based maxsat algorithms C Ansótegui, ML Bonet, J Levy Artificial Intelligence 196, 77-105, 2013	168	2013
Resolution for Max-SAT ML Bonet, J Levy, F Manyà Artificial Intelligence 171 (8), 606-618, 2007	125	2007
The community structure of SAT formulas C Ansótegui, J Giráldez-Cru, J Levy International Conference on Theory and Applications of Satisfiability …, 2012	111	2012
Linear second-order unification J Levy International Conference on Rewriting Techniques and Applications, 332-346, 1996	101	1996
A New Algorithm for Weighted Partial MaxSAT C Ansótegui, ML Bonet, J Levy 24th AAAI Conf. on Artificial Intelligence, AAAI'10, 2010	74	2010
On the undecidability of second-order unification J Levy, M Veanes Information and Computation 159 (1-2), 125-150, 2000	65	2000
Measuring the Hardness of SAT Instances. C Ansótegui, ML Bonet, J Levy, F Manya 23th AAAI Conf. on Artificial Intelligence, AAAI'08. 8, 222-228, 2008	62	2008
An efficient nominal unification algorithm J Levy, M Villaret i Ausellé 21st Int. Conf. on Rewriting Techniques and Applications, RTA'10, 209-226, 2010	58	2010
On the structure of industrial SAT instances C Ansótegui, ML Bonet, J Levy International Conference on Principles and Practice of Constraint …, 2009	58	2009
Random SAT Instances à la Carte C Ansótegui, ML Bonet, J Levy 11th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA …, 2008	58	2008
Improving SAT-based weighted MaxSAT solvers C Ansótegui, ML Bonet, J Gabas, J Levy International conference on principles and practice of constraint …, 2012	56	2012
Bi-rewriting, a term rewriting technique for monotonic order relations J Levy, J Agusti International Conference on Rewriting Techniques and Applications, 17-31, 1993	53	1993
Bi-rewrite systems J Levy, J Agustí Journal of Symbolic Computation 22 (3), 279-314, 1996	51	1996
Nominal unification from a higher-order perspective J Levy, M Villaret International Conference on Rewriting Techniques and Applications, 246-260, 2008	48	2008
A complete calculus for Max-SAT ML Bonet, J Levy, F Manya International Conference on Theory and Applications of Satisfiability …, 2006	48	2006
Anti-Unification for Unranked Terms and Hedges T Kutsia, J Levy, M Villaret 22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011	47	2011
Decidable and undecidable second-order unification problems J Levy International Conference on Rewriting Techniques and Applications, 47-60, 1998	43	1998
A Modularity-based Random SAT Instances Generator J Giráldez-Cru, J Levy 24th Int. Joint Conf on Artificial Intelligence, IJCAI'15, 2015	42	2015
Using community structure to detect relevant learnt clauses C Ansótegui, J Giráldez-Cru, J Levy, L Simon International Conference on Theory and Applications of Satisfiability …, 2015	40	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors