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

Industrial PhD StudentIndustrial PhD Student

Department:

Logic and ReasoningLogic and Reasoning

Position:

Industrial PhD StudentIndustrial PhD Student

 

 

Research areas:

      Impact areas:

          SDGs:

              Website:

              E-mail:

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

              Extension:

              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 . [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. [BibTeX]
              2016
              Jesús Giráldez-Cru,  & Jordi Levy (2016). Generating SAT instances with community structure. Artificial Intelligence. [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 . [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 . [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 . [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 . [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 . [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 . [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 . [BibTeX]
              2012
              Carlos Ansótegui,  Jesús Giráldez-Cru,  & Jordi Levy (2012). The Community Structure of SAT Formulas. Proc. of the 15th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'12 . [BibTeX]  [PDF]
               IP