| The community structure of SAT formulas C Ansótegui, J Giráldez-Cru, J Levy International Conference on Theory and Applications of Satisfiability …, 2012 | 124 | 2012 |
| A modularity-based random SAT instances generator J Giráldez-Cru, J Levy AAAI Press, 2015 | 53 | 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 | 42 | 2019 |
| Generating SAT instances with community structure J Giráldez-Cru, J Levy Artificial Intelligence 238, 119-134, 2016 | 42 | 2016 |
| 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 | 42 | 2015 |
| 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 | 35 | 2018 |
| Locality in random SAT instances J Giráldez-Cru, J Levy International Joint Conferences on Artificial Intelligence, 2017 | 35 | 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 | 32 | 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 |
| Popularity-similarity random SAT formulas J Giráldez-Cru, J Levy Artificial Intelligence 299, 103537, 2021 | 9 | 2021 |
| 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 | 8 | 2022 |
| 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 |
| 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 |
| 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 | 4 | 2021 |
Jordi LevyResearch Scientist, IIIA-CSICVerified email at iiia.csic.es
