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

Industrial PhD Student Industrial PhD Student

Department:

Logic and Reasoning Logic and Reasoning

Position:

       

       

      Research areas:

          Impact areas:

              SDGs:

                  Website:

                  e-mail:

                  jgiraldez@iiia.csic.es jgiraldez@iiia.csic.es

                  Extension:

                  2017
                  Jesús Giráldez-CruJordi Levy; Locality in Random SAT Instances. 2017.  [BibTeX]
                  Carlos AnsóteguiMaría Luisa BonetJesús Giráldez-CruJordi Levy; Structure features for SAT instances classification. Journal of Applied Logic; 2017.  [BibTeX]
                  2016
                  Jesús Giráldez-CruJordi Levy; Generating SAT instances with community structure. Artificial Intelligence; 2016.  [BibTeX]
                  Xavier Ferrer AranJesús Giráldez-Cru; Link Prediction in Evolutionary Graphs. 2016.  [BibTeX]
                  Kemo AdrianPaula ChocronRoberto ConfalonieriXavier Ferrer AranJesús Giráldez-Cru; Link prediction in evolutionary graphs the case study of the CCIA network. 2016.  [BibTeX]
                  Kemo AdrianPaula ChocronRoberto ConfalonieriXavier FerrerJesús Giráldez-Cru; Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network. 2016.  [BibTeX]
                  2015
                  Jesús Giráldez-CruJordi Levy; A Modularity-Based Random SAT Instances Generator. 2015.  [BibTeX]
                  Carlos AnsóteguiMaría Luisa BonetJesús Giráldez-CruJordi Levy; On the Classification of Industrial SAT Families. 2015.  [BibTeX]
                  Carlos AnsóteguiJesús Giráldez-CruJordi LevyLaurent Simon; Using Community Structure to Detect Relevant Learnt Clauses. 2015.  [BibTeX]
                  2014
                  Carlos AnsóteguiMaría Luisa BonetJesús Giráldez-CruJordi Levy; The Fractal Dimension of SAT Formulas. 2014.  [BibTeX]
                  2012
                  Carlos AnsóteguiJesús Giráldez-CruJordi Levy; The Community Structure of SAT Formulas. 2012.  [PDF]  [BibTeX]
                  IP