Skip to main content
Català
English
Español
Search form
Search
Log-in
About IIIA
Presentation
History
Contributions to Artificial Intelligence 1986 - 1995
Contributions to Artificial Intelligence 1996 - 2001
Location
Work with us
Departments
Projects
Current Projects
Past Projects
Publications
Publications
Thesis
Staff
Current staff
Former staff
Jesús Giráldez-Cru
Activities
Seminar
Conferences
Doctoral Consortium
Current news
Transfer
25th anniversary
You are here
Home
>
Staff
>
Jesús Giráldez-Cru
Jesús Giráldez-Cru
Current staff
Former staff
Jesús Giráldez-Cru
Reasoning and Logic Department
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
Publications
Projects
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