[go: up one dir, main page]

Follow
Jesús Giráldez-Cru
Jesús Giráldez-Cru
Verified email at ugr.es - Homepage
Title
Cited by
Cited by
Year
The community structure of SAT formulas
C Ansótegui, J Giráldez-Cru, J Levy
International Conference on Theory and Applications of Satisfiability …, 2012
1482012
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
872020
A Modularity-Based Random SAT Instances Generator.
J Giráldez-Cru, J Levy
IJCAI 15, 1952-1958, 2015
632015
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
582019
Generating SAT instances with community structure
J Giráldez-Cru, J Levy
Artificial Intelligence 238, 119-134, 2016
492016
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
472015
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks.
J Elffers, J Giráldez-Cru, S Gocht, J Nordström, L Simon
IJCAI 18, 1300-1308, 2018
452018
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
452014
Locality in random SAT instances
J Giráldez-Cru, J Levy
International Joint Conferences on Artificial Intelligence, 2017
432017
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
322018
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
322017
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
252018
A comprehensive view of biometric payment in retailing: A complete study from user to expert
C Zarco, J Giráldez-Cru, O Cordón, F Liébana-Cabanillas
Journal of Retailing and Consumer Services 79, 103789, 2024
242024
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
232022
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
172023
On the performance of deep generative models of realistic SAT instances
I Garzón, P Mesejo, J Giráldez-Cru
25th International Conference on Theory and Applications of Satisfiability …, 2022
152022
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
152013
Analyzing the extremization of opinions in a general framework of bounded confidence and repulsion
J Giráldez-Cru, C Zarco, O Cordón
Information Sciences 609, 1256-1270, 2022
142022
A framework of opinion dynamics using fuzzy linguistic 2-tuples
J Giraldez-Cru, M Chica, O Cordon
Knowledge-Based Systems 233, 107559, 2021
132021
Popularity-similarity random SAT formulas
J Giráldez-Cru, J Levy
Artificial Intelligence 299, 103537, 2021
132021
The system can't perform the operation now. Try again later.
Articles 1–20