Jordi Levy

Cytowane przez

	Wszystkie	Od 2020
Cytowania	2690	983
h-indeks	29	18
i10-indeks	57	32

240

120

180

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 12 31 26 25 23 38 38 24 13 21 30 24 34 49 66 47 72 93 101 130 117 129 175 129 198 152 225 236 190 154 24

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	204	2013
Solving (weighted) partial MaxSAT through satisfiability testing C Ansótegui, ML Bonet, J Levy International conference on theory and applications of satisfiability …, 2009	197	2009
Resolution for Max-SAT ML Bonet, J Levy, F Manyà Artificial Intelligence 171 (8), 606-618, 2007	163	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	135	2012
Linear second-order unification J Levy International Conference on Rewriting Techniques and Applications, 332-346, 1996	108	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
Random SAT Instances à la Carte C Ansótegui, ML Bonet, J Levy 11th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA …, 2008	80	2008
On the structure of industrial SAT instances C Ansótegui, ML Bonet, J Levy International Conference on Principles and Practice of Constraint …, 2009	79	2009
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	76	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	71	2012
On the undecidability of second-order unification J Levy, M Veanes Information and Computation 159 (1-2), 125-150, 2000	69	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	66	2010
A complete calculus for Max-SAT ML Bonet, J Levy, F Manyà Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006	65	2006
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	56	1996
A Modularity-based Random SAT Instances Generator J Giráldez-Cru, J Levy 24th Int. Joint Conf on Artificial Intelligence, IJCAI'15, 2015	55	2015
Bi-rewriting, a term rewriting technique for monotonic order relations J Levy, J Agusti International Conference on Rewriting Techniques and Applications, 17-31, 1993	54	1993
Nominal unification from a higher-order perspective J Levy, M Villaret International Conference on Rewriting Techniques and Applications, 246-260, 2008	50	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	47	2019
Generating SAT instances with community structure J Giráldez-Cru, J Levy Artificial Intelligence 238, 119-134, 2016	45	2016

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