Jesús Giráldez-Cru - Citas de Google Académico

Citado por

	Total	Desde 2015
Citas	275	243
Índice h	9	8
Índice i10	8	7

2012201320142015201620172018201920202 7 20 18 33 59 45 59 26

Coautores

Jordi LevyIIIA-CSICDirección de correo verificada de iiia.csic.es
Carlos AnsóteguiUniversity of LleidaDirección de correo verificada de diei.udl.cat
Maria Luisa BonetLSI, UPCDirección de correo verificada de lsi.upc.edu
Gonzalo A. Aranda-CorralProfessor of Computer Science, Universidad de HuelvaDirección de correo verificada de dti.uhu.es
Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)Dirección de correo verificada de labri.fr
Joaquin Borrego DíazProfesor Titular de Universidad, Universidad de SevillaDirección de correo verificada de us.es
Xavier Ferrer AranPhD, King's College LondonDirección de correo verificada de kcl.ac.uk
Roberto ConfalonieriFree University of Bozen-Bolzano, Faculty of Computer ScienceDirección de correo verificada de unibz.it
Miquel Bofill ArasaUniversitat de GironaDirección de correo verificada de udg.edu
Mateu Villaret AuselleProf. Agregat, Universitat de GironaDirección de correo verificada de ima.udg.edu
Oscar CordonFull Professor, DECSAI. University of GranadaDirección de correo verificada de decsai.ugr.es
Manuel Chica SerranoSenior Researcher (Ramon y Cajal), Univ. of Granada. Chief AI Officer at ZIO AnalyticsDirección de correo verificada de ugr.es
Francisco HerreraProfessor Computer Science and AI, Granada Univ.; Senior Associate Researcher in DL&ML at Sherpa.aiDirección de correo verificada de decsai.ugr.es
Paula ChocronArtificial Intelligence Research Institute, IIIA-CSICDirección de correo verificada de iiia.csic.es

Jesús Giráldez-Cru

Universidad de Granada

Dirección de correo verificada de ugr.es - Página principal

Artificial Intelligence


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The community structure of SAT formulas C Ansótegui, J Giráldez-Cru, J Levy International Conference on Theory and Applications of Satisfiability …, 2012	86	2012
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	29	2015
A modularity-based random SAT instances generator J Giráldez-Cru, J Levy Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	27	2015
The fractal dimension of SAT formulas C Ansótegui, ML Bonet, J Giráldez-Cru, J Levy International Joint Conference on Automated Reasoning, 107-121, 2014	25	2014
Generating SAT instances with community structure J Giráldez-Cru, J Levy Artificial Intelligence 238, 119-134, 2016	21	2016
Locality in random SAT instances J Giráldez-Cru, J Levy International Joint Conferences on Artificial Intelligence, 2017	16	2017
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. J Elffers, J Giráldez-Cru, S Gocht, J Nordström, L Simon IJCAI, 1300-1308, 2018	15	2018
Agent-mediated shared conceptualizations in tagging services GA Aranda-Corral, J Borrego-Díaz, J Giráldez-Cru Multimedia tools and applications 65 (1), 5-28, 2013	15	2013
In between resolution and cutting planes: A study of proof systems for pseudo-Boolean SAT solving M Vinyals, J Elffers, J Giráldez-Cru, S Gocht, J Nordström International Conference on Theory and Applications of Satisfiability …, 2018	9	2018
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	7	2019
Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers J Elffers, J Giráldez-Cru, J Nordström, M Vinyals International Conference on Theory and Applications of Satisfiability …, 2018	7	2018
Structure features for SAT instances classification C Ansótegui, ML Bonet, J Giráldez-Cru, J Levy Journal of Applied Logic 23, 27-39, 2017	5	2017
Conceptual-based reasoning in mobile web 2.0 by means of multiagent systems GA Aranda-Corral, J Borrego-Díaz, J Giráldez-Cru Knowledge engineering notes, proc. 4th int. conf. agents and artificial …, 2012	5	2012
Community Attachment - Benchmarks description J Giráldez-Cru, J Levy Proceedings of the SAT Race 2015, 2015	2	2015
On the complexity of shared conceptualizations GA Aranda-Corral, J Borrego-Díaz, J Giráldez-Cru International Conference on Artificial Intelligence and Soft Computing, 629-638, 2012	2	2012
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. M Bofill, J Giráldez-Cru, J Suy, M Villaret CCIA, 183-192, 2019	1	2019
On the community structure of bounded model checking SAT problems G Baud-Berthier, J Giráldez-Cru, L Simon International Conference on Theory and Applications of Satisfiability …, 2017	1	2017
Description of Popularity-Similarity SAT Instances J Giráldez-Cru, J Levy SAT COMPETITION 2017, 49, 2017	1	2017
Link Prediction in Evolutionary Graphs K ADRIAN, P CHOCRON, R CONFALONIERI, X FERRER, ... Artificial Intelligence Research and Development: Proceedings of the 19th …, 2016	1	2016
Modeling agent‐based consumers decision‐making with 2‐tuple fuzzy linguistic perceptions J Giráldez‐Cru, M Chica, O Cordón, F Herrera International Journal of Intelligent Systems 35 (2), 283-299, 2020		2020

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores