Jesús Giráldez-Cru
Jesús Giráldez-Cru
Verified email at ugr.es - Homepage
Title
Cited by
Cited by
Year
The community structure of SAT formulas
C Ansótegui, J Giráldez-Cru, J Levy
International Conference on Theory and Applications of Satisfiability …, 2012
882012
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
312015
A modularity-based random SAT instances generator
J Giráldez-Cru, J Levy
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
302015
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
252014
Generating SAT instances with community structure
J Giráldez-Cru, J Levy
Artificial Intelligence 238, 119-134, 2016
212016
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
182018
Locality in random SAT instances
J Giráldez-Cru, J Levy
International Joint Conferences on Artificial Intelligence, 2017
162017
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
152013
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
112018
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
82018
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
72019
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
52017
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
52012
Community Attachment - Benchmarks description
J Giráldez-Cru, J Levy
Proceedings of the SAT Race 2015, 2015
22015
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
22012
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems.
M Bofill, J Giráldez-Cru, J Suy, M Villaret
CCIA, 183-192, 2019
12019
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
12017
Description of Popularity-Similarity SAT Instances
J Giráldez-Cru, J Levy
SAT COMPETITION 2017, 49, 2017
12017
Link Prediction in Evolutionary Graphs
K ADRIAN, P CHOCRON, R CONFALONIERI, X FERRER, ...
Artificial Intelligence Research and Development: Proceedings of the 19th …, 2016
12016
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
2020
The system can't perform the operation now. Try again later.
Articles 1–20