Jordi Levy

Cytowane przez

	Wszystkie	Od 2020
Cytowania	2725	1002
h-indeks	29	18
i10-indeks	59	33

240

120

180

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 12 31 26 24 26 38 38 23 17 21 30 20 32 51 66 49 70 93 102 132 117 137 170 126 210 156 227 235 188 154 40

Dostęp publiczny

Wyświetl wszystko

28 artykułów

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Carlos AnsóteguiUniversity of LleidaZweryfikowany adres z diei.udl.cat
Maria Luisa BonetLSI, UPCZweryfikowany adres z lsi.upc.edu
Mateu Villaret AuselleUniversitat de GironaZweryfikowany adres z ima.udg.edu
Jesús Giráldez-CruUniversidad de GranadaZweryfikowany adres z ugr.es
Temur KutsiaResearch Institute for Symbolic Computation, Johannes Kepler University LinzZweryfikowany adres z risc.jku.at
Manfred Schmidt-SchaußProfessor für Informatik, Goethe-University FrankfurtZweryfikowany adres z ki.informatik.uni-frankfurt.de
Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)Zweryfikowany adres z labri.fr
Margus VeanesMicrosoft ResearchZweryfikowany adres z microsoft.com
Filippo BistaffaTenured Researcher, IIIA-CSICZweryfikowany adres z iiia.csic.es
Dave de JongeIIIA-CSICZweryfikowany adres z iiia.csic.es
Francesc EstevaInvestigador emèrit, Institut d'investigació en IA (IIIA - CSIC)Zweryfikowany adres z iiia.csic.es
Thomas BläsiusKarlsruhe Institute of TechnologyZweryfikowany adres z kit.edu
Joachim NiehrenINRIA LilleZweryfikowany adres z inria.fr
David RobertsonProfessor of Applied Logic, University of EdinburghZweryfikowany adres z inf.ed.ac.uk
Ralf RothenbergerHasso Plattner Institute PotsdamZweryfikowany adres z hpi.de
Andreas GöbelHasso Plattner Institute, University of PotsdamZweryfikowany adres z hpi.de
Tobias FriedrichChair for Algorithm Engineering, Hasso Plattner Institute, Potsdam, GermanyZweryfikowany adres z hpi.de
Eduardo CalòPhD Researcher, Universiteit UtrechtZweryfikowany adres z uu.nl
Chu Min LiMIS, Université de Picardie Jules VerneZweryfikowany adres z u-picardie.fr
Albert GattProfessor of Natural Language Generation, Utrecht UniversityZweryfikowany adres z uu.nl

Obserwuj

Jordi Levy

Research Scientist, IIIA-CSIC

Zweryfikowany adres z iiia.csic.es - Strona główna

Logic SAT Satisfiability Automated Deduction Rewriting


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
SAT-based maxsat algorithms C Ansótegui, ML Bonet, J Levy Artificial Intelligence 196, 77-105, 2013	209	2013
Solving (weighted) partial MaxSAT through satisfiability testing C Ansótegui, ML Bonet, J Levy International conference on theory and applications of satisfiability …, 2009	198	2009
Resolution for Max-SAT ML Bonet, J Levy, F Manyà Artificial Intelligence 171 (8), 606-618, 2007	169	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	139	2012
Linear second-order unification J Levy International Conference on Rewriting Techniques and Applications, 332-346, 1996	109	1996
A New Algorithm for Weighted Partial MaxSAT C Ansótegui, ML Bonet, J Levy 24th AAAI Conf. on Artificial Intelligence, AAAI'10, 2010	91	2010
On the structure of industrial SAT instances C Ansótegui, ML Bonet, J Levy International Conference on Principles and Practice of Constraint …, 2009	81	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	79	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	75	2012
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	75	2008
A complete calculus for Max-SAT ML Bonet, J Levy, F Manyà Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006	67	2006
On the undecidability of second-order unification J Levy, M Veanes Information and Computation 159 (1-2), 125-150, 2000	66	2000
An efficient nominal unification algorithm J Levy, M Villaret i Ausellé 21st Int. Conf. on Rewriting Techniques and Applications, RTA'10, 209-226, 2010	65	2010
A Modularity-based Random SAT Instances Generator J Giráldez-Cru, J Levy 24th Int. Joint Conf on Artificial Intelligence, IJCAI'15, 2015	56	2015
Anti-Unification for Unranked Terms and Hedges T Kutsia, J Levy, M Villaret 22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011	56	2011
Bi-rewrite systems J Levy, J Agustí Journal of Symbolic Computation 22 (3), 279-314, 1996	55	1996
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
Nominal unification from a higher-order perspective J Levy, M Villaret International Conference on Rewriting Techniques and Applications, 246-260, 2008	52	2008
Community structure in industrial SAT instances C Ansótegui, ML Bonet, J Giráldez-Cru, J Levy, L Simon Journal of Artificial Intelligence Research 66, 443-472, 2019	48	2019
Decidable and undecidable second-order unification problems J Levy International Conference on Rewriting Techniques and Applications, 47-60, 1998	46	1998

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy