CSIC

You are here

Home > Staff > Jesús Giráldez-Cru

Jesús Giráldez-Cru

Reasoning and Logic Department
Jesús Giráldez-Cru
Email: 
jgiraldez@iiia.csic.es
Extension: 
302
Web: 
http://www.iiia.csic.es/~jgiraldez
Position: 
Former PhD students
Depending on: 
Jordi Levy
Seniority / membership period: 
01 October 2011 to 30 September 2015
11 Publications
2017
Jesús Giráldez-Cru, Jordi Levy; Locality in Random SAT Instances. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017; 2017.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; Structure features for SAT instances classification. Journal of Applied Logic; 2017.
Download PDF
2016
Jesús Giráldez-Cru, Jordi Levy; Generating SAT instances with community structure. Artificial Intelligence; 2016.
Download PDF
Xavier Ferrer Aran, Jesús Giráldez-Cru; 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; 2016.
Download PDF
Kemo Adrian, Paula Chocron, Roberto Confalonieri, Xavier Ferrer, Jesús Giráldez-Cru; 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; 2016.
Download PDF
Kemo Adrian, Paula Chocron, Roberto Confalonieri, Xavier Ferrer Aran, Jesús Giráldez-Cru; Link prediction in evolutionary graphs the case study of the CCIA network. 19 October 2016 through 21 October 2016; 2016.
Download PDF
2015
Jesús Giráldez-Cru, Jordi Levy; A Modularity-Based Random SAT Instances Generator. Proc. of the 24th Int. Joint Conf on Artificial Intelligence, IJCAI'15; 2015.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; On the Classification of Industrial SAT Families. Proc. of the 18th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA'15; 2015.
Download PDF
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon; Using Community Structure to Detect Relevant Learnt Clauses. Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'15; 2015.
Download PDF
2014
Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; The Fractal Dimension of SAT Formulas. Proc. of the 7th Int. Joint Conf. on Automated Reasoning, IJCAR'14; 2014.
Download PDF
2012
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy; The Community Structure of SAT Formulas. Proc. of the 15th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'12; 2012.
Download PDF
 

No results found