Jesús Giráldez-Cru

Citado por

	Total	Desde 2018
Citas	615	466
Índice h	13	12
Índice i10	13	12

120

2012201320142015201620172018201920202021202220232 7 20 19 31 60 42 57 68 99 109 89

Acceso público

Ver todo

25 artículos

3 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Jordi LevyResearch Scientist, IIIA-CSICDirección de correo verificada de iiia.csic.es
Carlos AnsóteguiUniversity of LleidaDirección de correo verificada de diei.udl.cat
Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)Dirección de correo verificada de labri.fr
Maria Luisa BonetLSI, UPCDirección de correo verificada de lsi.upc.edu
Manuel Chica SerranoUniversity of GranadaDirección de correo verificada de ugr.es
Oscar CordónProfessor, IEEE-IFSA Fellow, Natl. Computer Science Award. DaSCI Research Institute & DECSAI, UGRDirección de correo verificada de decsai.ugr.es
Gonzalo A. Aranda-CorralProfessor of Computer Science, Universidad de HuelvaDirección de correo verificada de dti.uhu.es
Joaquin Borrego DíazProfesor Titular de Universidad, Universidad de SevillaDirección de correo verificada de us.es
Miquel Bofill ArasaUniversitat de GironaDirección de correo verificada de udg.edu
Mateu Villaret AuselleUniversitat de GironaDirección de correo verificada de ima.udg.edu
Francisco HerreraProfessor Computer Science and AI, Granada University, SpainDirección de correo verificada de decsai.ugr.es
Pablo MesejoAssociate Professor, University of Granada & chief AI officer, Panacea Cooperative ResearchDirección de correo verificada de decsai.ugr.es
Xavier Ferrer AranPhD, King's College LondonDirección de correo verificada de kcl.ac.uk
Iván GarzónPhD Student, University of GranadaDirección de correo verificada de ugr.es
Roberto ConfalonieriUniversity of Padova, Department of MathematicsDirección de correo verificada de unipd.it
Paula ChocronArtificial Intelligence Research Institute, IIIA-CSICDirección de correo verificada de iiia.csic.es

Seguir

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	125	2012
A modularity-based random SAT instances generator J Giráldez-Cru, J Levy AAAI Press, 2015	54	2015
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	44	2019
Using community structure to detect relevant learnt clauses C Ansótegui, J Giráldez-Cru, J Levy, L Simon Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015	44	2015
Generating SAT instances with community structure J Giráldez-Cru, J Levy Artificial Intelligence 238, 119-134, 2016	43	2016
The fractal dimension of SAT formulas C Ansótegui, ML Bonet, J Giráldez-Cru, J Levy Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014	38	2014
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	36	2018
Locality in random SAT instances J Giráldez-Cru, J Levy International Joint Conferences on Artificial Intelligence, 2017	36	2017
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	34	2020
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 Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018	28	2018
Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers J Elffers, J Giráldez-Cru, J Nordström, M Vinyals Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018	25	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	21	2017
Agent-mediated shared conceptualizations in tagging services GA Aranda-Corral, J Borrego-Díaz, J Giráldez-Cru Multimedia tools and applications 65, 5-28, 2013	16	2013
Constraint solving approaches to the business-to-business meeting scheduling problem M Bofill, J Coll, M Garcia, J Giráldez-Cru, G Pesant, J Suy, M Villaret Journal of Artificial Intelligence Research 74, 263-301, 2022	9	2022
Popularity-similarity random SAT formulas J Giráldez-Cru, J Levy Artificial Intelligence 299, 103537, 2021	9	2021
A framework of opinion dynamics using fuzzy linguistic 2-tuples J Giráldez-Cru, M Chica, O Cordón Knowledge-Based Systems 233, 107559, 2021	8	2021
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	7	2017
Automated completion of partial configurations as a diagnosis task using fastdiag to improve performance C Vidal-Silva, JA Galindo, J Giráldez-Cru, D Benavides Intelligent Systems in Industrial Applications, 107-117, 2021	5	2021
Conceptual-based reasoning in mobile web 2.0 by means multiagent systems-knowledge engineering notes GA Aranda Corral, J Borrego Díaz, J Giráldez Cru ICAART 2012: 4th International Conference on Agents and Artificial …, 2012	5	2012
An Integrative Decision-Making Mechanism for Consumers’ Brand Selection using 2-Tuple Fuzzy Linguistic Perceptions and Decision Heuristics J Giráldez-Cru, M Chica, O Cordón International Journal of Fuzzy Systems 25 (1), 59-79, 2023	4	2023

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

Seguir

Citado por

Coautores