Jordi Levy 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	2575	1072
h 指数	29	20
i10 指数	55	31

240

120

180

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 12 31 26 25 23 38 38 24 13 20 30 24 34 49 66 46 71 93 102 129 118 128 175 128 197 149 224 237 190 71

开放获取的出版物数量

查看全部

26 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Carlos AnsóteguiUniversity of Lleida在 diei.udl.cat 的电子邮件经过验证
Maria Luisa BonetLSI, UPC在 lsi.upc.edu 的电子邮件经过验证
Mateu Villaret AuselleUniversitat de Girona在 ima.udg.edu 的电子邮件经过验证
Jesús Giráldez-CruUniversidad de Granada在 ugr.es 的电子邮件经过验证
Temur KutsiaResearch Institute for Symbolic Computation, Johannes Kepler University Linz在 risc.jku.at 的电子邮件经过验证
Manfred Schmidt-SchaußProfessor für Informatik, Goethe-University Frankfurt在 ki.informatik.uni-frankfurt.de 的电子邮件经过验证
Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)在 labri.fr 的电子邮件经过验证
Margus VeanesMicrosoft Research在 microsoft.com 的电子邮件经过验证
Filippo BistaffaTenured Researcher, IIIA-CSIC在 iiia.csic.es 的电子邮件经过验证
Dave de JongeIIIA-CSIC在 iiia.csic.es 的电子邮件经过验证
Francesc EstevaInvestigador emèrit, Institut d'investigació en IA (IIIA - CSIC)在 iiia.csic.es 的电子邮件经过验证
Thomas BläsiusKarlsruhe Institute of Technology在 kit.edu 的电子邮件经过验证
Joachim NiehrenINRIA Lille在 inria.fr 的电子邮件经过验证
David RobertsonProfessor of Applied Logic, University of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证
Ralf RothenbergerHasso Plattner Institute Potsdam在 hpi.de 的电子邮件经过验证
Andreas GöbelHasso Plattner Institute, University of Potsdam在 hpi.de 的电子邮件经过验证
Tobias FriedrichChair for Algorithm Engineering, Hasso Plattner Institute, Potsdam, Germany在 hpi.de 的电子邮件经过验证
Chu Min LiMIS, Université de Picardie Jules Verne在 u-picardie.fr 的电子邮件经过验证
Eduardo CalòPhD Researcher, Universiteit Utrecht在 uu.nl 的电子邮件经过验证
Albert GattProfessor of Natural Language Generation, Utrecht University在 uu.nl 的电子邮件经过验证

关注

Jordi Levy

Research Scientist, IIIA-CSIC

在 iiia.csic.es 的电子邮件经过验证 - 首页

Logic SAT Satisfiability Automated Deduction Rewriting


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Solving (weighted) partial MaxSAT through satisfiability testing C Ansótegui, ML Bonet, J Levy International conference on theory and applications of satisfiability …, 2009	192	2009
SAT-based maxsat algorithms C Ansótegui, ML Bonet, J Levy Artificial Intelligence 196, 77-105, 2013	190	2013
Resolution for Max-SAT ML Bonet, J Levy, F Manyà Artificial Intelligence 171 (8), 606-618, 2007	156	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	129	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	86	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	77	2008
On the structure of industrial SAT instances C Ansótegui, ML Bonet, J Levy International Conference on Principles and Practice of Constraint …, 2009	74	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	73	2008
On the undecidability of second-order unification J Levy, M Veanes Information and Computation 159 (1-2), 125-150, 2000	68	2000
Improving SAT-based weighted MaxSAT solvers C Ansótegui, ML Bonet, J Gabas, J Levy International conference on principles and practice of constraint …, 2012	67	2012
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 complete calculus for Max-SAT ML Bonet, J Levy, F Manyà Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006	62	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	49	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用