Jesús Giráldez-Cru
Jesús Giráldez-Cru
Dirección de correo verificada de ugr.es - Página principal
TítuloCitado porAño
The community structure of SAT formulas
C Ansótegui, J Giráldez-Cru, J Levy
International Conference on Theory and Applications of Satisfiability …, 2012
802012
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
292015
A modularity-based random SAT instances generator
J Giráldez-Cru, J Levy
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
252015
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
242014
Generating SAT instances with community structure
J Giráldez-Cru, J Levy
Artificial Intelligence 238, 119-134, 2016
172016
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
142013
Locality in random SAT instances
J Giráldez-Cru, J Levy
International Joint Conferences on Artificial Intelligence, 2017
132017
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
92018
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
92018
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
62019
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
62018
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
42017
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
42012
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
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
Link Prediction in Evolutionary Graphs
K ADRIAN, P CHOCRON, R CONFALONIERI, X FERRER, ...
Artificial Intelligence Research and Development: Proceedings of the 19th …, 2016
12016
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
12016
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20