| The community structure of SAT formulas C Ansótegui, J Giráldez-Cru, J Levy International Conference on Theory and Applications of Satisfiability …, 2012 | 148 | 2012 |
| 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 | 87 | 2020 |
| A Modularity-Based Random SAT Instances Generator. J Giráldez-Cru, J Levy IJCAI 15, 1952-1958, 2015 | 63 | 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 | 58 | 2019 |
| Generating SAT instances with community structure J Giráldez-Cru, J Levy Artificial Intelligence 238, 119-134, 2016 | 49 | 2016 |
| 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 | 47 | 2015 |
| 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 | 45 | 2018 |
| 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 | 45 | 2014 |
| Locality in random SAT instances J Giráldez-Cru, J Levy International Joint Conferences on Artificial Intelligence, 2017 | 43 | 2017 |
| 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 | 32 | 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 | 32 | 2017 |
| 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 | 25 | 2018 |
| 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 | 24 | 2024 |
| 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 | 23 | 2022 |
| 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 | 17 | 2023 |
| 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 | 15 | 2022 |
| 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 |
| 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 | 14 | 2022 |
| A framework of opinion dynamics using fuzzy linguistic 2-tuples J Giraldez-Cru, M Chica, O Cordon Knowledge-Based Systems 233, 107559, 2021 | 13 | 2021 |
| Popularity-similarity random SAT formulas J Giráldez-Cru, J Levy Artificial Intelligence 299, 103537, 2021 | 13 | 2021 |
Jordi LevyResearch Scientist, IIIA-CSICVerified email at iiia.csic.es
