Jordi Levy

Citace

	Všechny	Od 2019
Citace	2636	1132
h-index	29	20
i10-index	56	33

240

120

180

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 12 31 26 25 23 38 38 24 13 20 30 24 34 49 66 46 71 93 102 129 117 129 175 128 198 152 225 235 191 127

Veřejný přístup

Zobrazit všechny

26 článků

0 článků

dostupné

nedostupné

Vychází ze zplnomocnění pro financování

Spoluautoři

Carlos AnsóteguiUniversity of LleidaE-mailová adresa ověřena na: diei.udl.cat
Maria Luisa BonetLSI, UPCE-mailová adresa ověřena na: lsi.upc.edu
Mateu Villaret AuselleUniversitat de GironaE-mailová adresa ověřena na: ima.udg.edu
Jesús Giráldez-CruUniversidad de GranadaE-mailová adresa ověřena na: ugr.es
Temur KutsiaResearch Institute for Symbolic Computation, Johannes Kepler University LinzE-mailová adresa ověřena na: risc.jku.at
Manfred Schmidt-SchaußProfessor für Informatik, Goethe-University FrankfurtE-mailová adresa ověřena na: ki.informatik.uni-frankfurt.de
Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)E-mailová adresa ověřena na: labri.fr
Margus VeanesMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
Filippo BistaffaTenured Researcher, IIIA-CSICE-mailová adresa ověřena na: iiia.csic.es
Dave de JongeIIIA-CSICE-mailová adresa ověřena na: iiia.csic.es
Francesc EstevaInvestigador emèrit, Institut d'investigació en IA (IIIA - CSIC)E-mailová adresa ověřena na: iiia.csic.es
Thomas BläsiusKarlsruhe Institute of TechnologyE-mailová adresa ověřena na: kit.edu
Joachim NiehrenINRIA LilleE-mailová adresa ověřena na: inria.fr
David RobertsonProfessor of Applied Logic, University of EdinburghE-mailová adresa ověřena na: inf.ed.ac.uk
Ralf RothenbergerHasso Plattner Institute PotsdamE-mailová adresa ověřena na: hpi.de
Andreas GöbelHasso Plattner Institute, University of PotsdamE-mailová adresa ověřena na: hpi.de
Tobias FriedrichChair for Algorithm Engineering, Hasso Plattner Institute, Potsdam, GermanyE-mailová adresa ověřena na: hpi.de
Eduardo CalòPhD Researcher, Universiteit UtrechtE-mailová adresa ověřena na: uu.nl
Chu Min LiMIS, Université de Picardie Jules VerneE-mailová adresa ověřena na: u-picardie.fr
Albert GattProfessor of Natural Language Generation, Utrecht UniversityE-mailová adresa ověřena na: uu.nl

Sledovat

Jordi Levy

Research Scientist, IIIA-CSIC

E-mailová adresa ověřena na: iiia.csic.es - Domovská stránka

Logic SAT Satisfiability Automated Deduction Rewriting


Název Seřadit podle citací Seřadit podle roku Seřadit podle názvu	Citace Citace	Rok
SAT-based maxsat algorithms C Ansótegui, ML Bonet, J Levy Artificial Intelligence 196, 77-105, 2013	200	2013
Solving (weighted) partial MaxSAT through satisfiability testing C Ansótegui, ML Bonet, J Levy International conference on theory and applications of satisfiability …, 2009	195	2009
Resolution for Max-SAT ML Bonet, J Levy, F Manyà Artificial Intelligence 171 (8), 606-618, 2007	161	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	131	2012
Linear second-order unification J Levy International Conference on Rewriting Techniques and Applications, 332-346, 1996	107	1996
A New Algorithm for Weighted Partial MaxSAT C Ansótegui, ML Bonet, J Levy 24th AAAI Conf. on Artificial Intelligence, AAAI'10, 2010	87	2010
On the structure of industrial SAT instances C Ansótegui, ML Bonet, J Levy International Conference on Principles and Practice of Constraint …, 2009	78	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	78	2008
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	72	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	68	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	64	2006
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-rewrite systems J Levy, J Agustí Journal of Symbolic Computation 22 (3), 279-314, 1996	55	1996
Anti-Unification for Unranked Terms and Hedges T Kutsia, J Levy, M Villaret 22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011	54	2011
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
Decidable and undecidable second-order unification problems J Levy International Conference on Rewriting Techniques and Applications, 47-60, 1998	45	1998

Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.

Články 1–20

Citace za rok

Duplicitní citace

Sloučené citace

Přidat spoluautorySpoluautoři

Sledovat

Citace

Spoluautoři