| The community structure of SAT formulas C Ansótegui, J Giráldez-Cru, J Levy International Conference on Theory and Applications of Satisfiability …, 2012 | 128 | 2012 |
| A modularity-based random SAT instances generator J Giráldez-Cru, J Levy AAAI Press, 2015 | 55 | 2015 |
| 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 | 46 | 2020 |
| 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 | 46 | 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 |
| 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 | 41 | 2018 |
| 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 | 39 | 2014 |
| Locality in random SAT instances J Giráldez-Cru, J Levy International Joint Conferences on Artificial Intelligence, 2017 | 37 | 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 Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018 | 31 | 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 | 11 | 2022 |
| On the classification of industrial SAT families C Ansótegui, ML Bonet, J Giráldez-Cru, J Levy Artificial Intelligence Research and Development, 163-172, 2015 | 11 | 2015 |
| 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 | 10 | 2021 |
| Popularity-similarity random SAT formulas J Giráldez-Cru, J Levy Artificial Intelligence 299, 103537, 2021 | 9 | 2021 |
| 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 | 8 | 2023 |
| 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 | 8 | 2017 |
| 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 | 7 | 2022 |
Jordi LevyResearch Scientist, IIIA-CSIC在 iiia.csic.es 的电子邮件经过验证
