Folgen
Jesús Giráldez-Cru
Jesús Giráldez-Cru
Universidad de Granada
Bestätigte E-Mail-Adresse bei ugr.es - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The community structure of SAT formulas
C Ansótegui, J Giráldez-Cru, J Levy
International Conference on Theory and Applications of Satisfiability …, 2012
1282012
A modularity-based random SAT instances generator
J Giráldez-Cru, J Levy
AAAI Press, 2015
552015
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
462020
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
462019
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
452015
Generating SAT instances with community structure
J Giráldez-Cru, J Levy
Artificial Intelligence 238, 119-134, 2016
432016
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
392018
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
392014
Locality in random SAT instances
J Giráldez-Cru, J Levy
International Joint Conferences on Artificial Intelligence, 2017
372017
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
302018
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
252018
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
222017
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
162013
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
102022
Popularity-similarity random SAT formulas
J Giráldez-Cru, J Levy
Artificial Intelligence 299, 103537, 2021
92021
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
82021
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
82017
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
72022
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
62023
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
62021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20