| The community structure of SAT formulas C Ansótegui, J Giráldez-Cru, J Levy International Conference on Theory and Applications of Satisfiability …, 2012 | 80 | 2012 |
| 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 | 29 | 2015 |
| A modularity-based random SAT instances generator J Giráldez-Cru, J Levy Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 25 | 2015 |
| 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 | 24 | 2014 |
| Generating SAT instances with community structure J Giráldez-Cru, J Levy Artificial Intelligence 238, 119-134, 2016 | 17 | 2016 |
| 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 | 14 | 2013 |
| Locality in random SAT instances J Giráldez-Cru, J Levy International Joint Conferences on Artificial Intelligence, 2017 | 13 | 2017 |
| 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 | 9 | 2018 |
| 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 | 9 | 2018 |
| 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 | 6 | 2019 |
| 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 | 6 | 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 | 4 | 2017 |
| Conceptual-based reasoning in mobile web 2.0 by means of multiagent systems GA Aranda-Corral, J Borrego-Díaz, J Giráldez-Cru Knowledge engineering notes, proc. 4th int. conf. agents and artificial …, 2012 | 4 | 2012 |
| Community Attachment - Benchmarks description J Giráldez-Cru, J Levy Proceedings of the SAT Race 2015, 2015 | 2 | 2015 |
| On the complexity of shared conceptualizations GA Aranda-Corral, J Borrego-Díaz, J Giráldez-Cru International Conference on Artificial Intelligence and Soft Computing, 629-638, 2012 | 2 | 2012 |
| 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 | 1 | 2017 |
| Link Prediction in Evolutionary Graphs K ADRIAN, P CHOCRON, R CONFALONIERI, X FERRER, ... Artificial Intelligence Research and Development: Proceedings of the 19th …, 2016 | 1 | 2016 |
| A Study on Implied Constraints in a MaxSAT Approach to B2B Problems M Bofill, M Garcia, J Giráldez-Cru, M Villaret Pragmatics of SAT, 2016 | 1 | 2016 |
| ABT with Clause Learning for Distributed SAT J Giráldez-Cru, P Meseguer Conference of the Spanish Association for Artificial Intelligence, 183-193, 2016 | | 2016 |
| Connecting ABT with a SAT Solver1 J Giraldez-Crua, G Martın-Sanchezb, P Meseguera STAIRS 2016: Proceedings of the Eighth European Starting AI Researcher …, 2016 | | 2016 |
Jordi LevyIIIA-CSICDirección de correo verificada de iiia.csic.es
