Jesús
Giráldez-Cru
PhD Student
Logic and Reasoning
Research areas:
Impact areas:
SDGs:
2017
Jesús Giráldez-Cru,
& Jordi Levy
(2017).
Locality in Random SAT Instances.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017
(pp. 638-644).
https://doi.org/10.24963/ijcai.2017/89.
[BibTeX]
Carlos Ansótegui,
María Luisa Bonet,
Jesús Giráldez-Cru,
& Jordi Levy
(2017).
Structure features for SAT instances classification.
Journal of Applied Logic, 23, 27-39.
https://doi.org/10.1016/j.jal.2016.11.004.
[BibTeX]
2016
Jesús Giráldez-Cru,
& Jordi Levy
(2016).
Generating SAT instances with community structure.
Artificial Intelligence, 238, 119-134.
https://doi.org/10.1016/j.artint.2016.06.001.
[BibTeX]
Xavier Ferrer Aran,
& Jesús Giráldez-Cru
(2016).
Link Prediction in Evolutionary Graphs.
Artificial Intelligence Research and Development: Proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016
(pp. 187).
IOS Press.
[BibTeX]
Kemo Adrian,
Paula Chocron,
Roberto Confalonieri,
Xavier Ferrer Aran,
& Jesús Giráldez-Cru
(2016).
Link prediction in evolutionary graphs the case study of the CCIA network.
19 October 2016 through 21 October 2016
(pp. 187-196).
IOS Press.
[BibTeX]
Kemo Adrian,
Paula Chocron,
Roberto Confalonieri,
Xavier Ferrer,
& Jesús Giráldez-Cru
(2016).
Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network.
Artificial Intelligence Research and Development - Proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016
.
https://doi.org/10.3233/978-1-61499-696-5-187.
[BibTeX]
2015
Jesús Giráldez-Cru,
& Jordi Levy
(2015).
A Modularity-Based Random SAT Instances Generator.
Proc. of the 24th Int. Joint Conf on Artificial Intelligence, IJCAI'15
.
http://ijcai.org/Abstract/15/277.
[BibTeX]
Carlos Ansótegui,
María Luisa Bonet,
Jesús Giráldez-Cru,
& Jordi Levy
(2015).
On the Classification of Industrial SAT Families.
Proc. of the 18th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA'15
.
https://doi.org/10.3233/978-1-61499-578-4-163.
[BibTeX]
Carlos Ansótegui,
Jesús Giráldez-Cru,
Jordi Levy,
& Laurent Simon
(2015).
Using Community Structure to Detect Relevant Learnt Clauses.
Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'15
.
https://doi.org/10.1007/978-3-319-24318-4_18.
[BibTeX]
2014
Carlos Ansótegui,
María Luisa Bonet,
Jesús Giráldez-Cru,
& Jordi Levy
(2014).
The Fractal Dimension of SAT Formulas.
Proc. of the 7th Int. Joint Conf. on Automated Reasoning, IJCAR'14
.
https://doi.org/10.1007/978-3-319-08587-6_8.
[BibTeX]
2012
Carlos Ansótegui,
Jesús Giráldez-Cru,
& Jordi Levy
(2012).
The Community Structure of SAT Formulas.
Alessandro Cimatti, & Roberto Sebastiani (Eds.),
Proc. of the 15th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'12
(pp. 410-423).
Springer.
[BibTeX]
[PDF]