CA | ES | EN
Jesús
Jesús
 
Giráldez-Cru
Giráldez-Cru

PhD Student
PhD Student


Jesús
Jesús
 
Giráldez-Cru
Giráldez-Cru
PhD Student
PhD Student

Logic and Reasoning
Logic and Reasoning
(+34) 93 580 9570 ext.
jgiraldez@ugr.es
jgiraldez@ugr.es
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 . https://doi.org/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]