Departamento de Razonamiento y Lógica
Jesús Giráldez-Cru
Email: 
jgiraldez@iiia.csic.es
Extension: 
302
Position: 
Former PhD students
Depending on: 
Seniority / membership period: 
De 01 Octubre 2011 hasta 30 Septiembre 2015
8 Publications
2016
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.
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.
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.
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.
2014
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.
 

No results found