bild
School of
Computer Science
and Communication
KTH / CSC / Theory Group / Jesús Girárldez Crú

Jesús Giráldez Crú

Picture of Jesús
E-mail: giraldez <AT> kth <DOT> se
Telephone: +46 (0)8 790 68 09
Address: KTH Royal Institute of Technology
School of Computer Science and Communication
SE-100 44 Stockholm
SWEDEN
Office: Lindstedtsv 3, 5th floor, office 4519

I am a postdoctoral researcher, working with Jakob Nordström.

Curriculum Vitae

Education

  • PhD in Computer Science.
    Thesis: Beyond the Structure of SAT Formulas.
    Supervisor: Dr. Jordi Levy.
    Artificial Intelligence Research Institute, Spanish National Research Council (IIIA-CSIC)
    May 2016.
  • Master Degree in Computation, Logics and Artificial Intelligence
    University of Seville (Spain).
    September 2011.
  • Bachelor Degree in Software Engineering and Computer Science
    University of Seville (Spain).
    July 2010.

Program Committees

Reviewer

  • SAT 2016
  • IJCAR 2016

Invited Talks

  • Inside MiniSAT: Implementations of CDCL SAT solvers. University of Girona (Girona, Spain). February 26th, 2016. Invited by Mateu Villaret.
  • Structure and Real-World SAT Solving. University of Seville (Seville, Spain). July 26th, 2015. Invited by Joaquín Borrego Díaz.
  • The Notion of Structure in Real-World SAT Solving. Theory Group, CSC, KTH (Stockholm, Sweden). May 7th, 2015. Invited by Jakob Nordström.
  • Structure and Real-World SAT Solving. University of Girona (Girona, Spain). March 26th, 2015. Invited by Mateu Villaret.
  • Characterizing Industrial SAT Instances. IIIA-CSIC (Barcelona, Spain). June 4th, 2013.

Short Stays

Publications

You can also check my entry in DBLP and the list of citations in Google Scholar.

Journal Papers

    2017

  1. Jesús Giráldez-Cru: Beyond the Structure of SAT Formulas. Constraints 22: 95-96 (2017).
    [Link] [Preprint] [Bibtex] [Abstract]
  2. 2016

  3. Jesús Giráldez-Cru, Jordi Levy: Generating SAT Instances with Community Structure. Artificial Intelligence 238: 119-134 (2016).
    [Link] [Preprint] [Bibtex] [Abstract]
  4. Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy: Structure Features for SAT Instances Classification. Journal of Applied Logics (2016). DOI: http://dx.doi.org/10.1016/j.jal.2016.11.004
    [Link] [Preprint] [Bibtex] [Abstract]
  5. 2013

  6. Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru: Agent-mediated Shared Conceptualizations in Tagging Services. Multimedia Tools Applications 65(1): 5-28 (2013).
    [Link] [Preprint] [Bibtex] [Abstract]

Conference and Workshop Papers

    2016

  1. Kemo Adrian, Paula Chocrón, Roberto Confalonieri, Xavier Ferrer, Jesús Giráldez-Cru: Link Prediction in Evolutionary Graphs: The Case Study of the CCIA Network. CCIA 2016: 187-196.
    [Link] [Preprint] [Bibtex] [Abstract]
  2. Jesús Giráldez-Cru, Pedro Meseguer: ABT with Clause Learning for Distributed SAT. CAEPIA 2016: 183-193.
    [Link] [Preprint] [Bibtex] [Abstract]
  3. Jesús Giráldez-Cru, Guillermo Martín-Sánchez, Pedro Meseguer: Connecting ABT with a SAT Solver. STAIRS 2016: 179-184.
    [Link] [Preprint] [Bibtex] [Abstract]
  4. Miquel Bofill, Marc Garcia, Jesús Giráldez-Cru, Mateu Villaret. A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. POS 2016.
    [Link] [Preprint] [Bibtex] [Abstract]
  5. Jesús Giráldez-Cru, Jordi Levy: Pseudo-Industrial Random SAT Generators. STRUCTSAT 2016.
    [Link] [Preprint] [Bibtex] [Abstract]
  6. 2015

  7. Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy: On the Classification of Industrial SAT Families. CCIA 2015: 163-172.
    [Link] [Preprint] [Bibtex] [Abstract]
  8. Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon: Using Community Structure to Detect Relevant Learnt Clauses. SAT 2015: 238-254.
    [Link] [Preprint] [Bibtex] [Abstract]
  9. Jesús Giráldez-Cru, Jordi Levy: A Modularity-based Random SAT Instances Generator. IJCAI 2015: 1952-1958.
    [Link] [Preprint] [Bibtex] [Abstract]
  10. 2014

  11. Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy: The Fractal Dimension of SAT Formulas. IJCAR 2014: 107-121.
    [Link] [Preprint] [Bibtex] [Abstract]
  12. 2012

  13. Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy: The Community Structure of SAT Formulas. SAT 2012: 410-423.
    [Link] [Preprint] [Bibtex] [Abstract]
  14. Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru: Conceptual-based Reasoning in Mobile Web 2.0 by Means Multiagent Systems - Knowledge Engineering Notes. ICAART (2) 2012: 176-183.
    [Link] [Preprint] [Bibtex] [Abstract]
  15. Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru: On the Complexity of Shared Conceptualizations. ICAISC (1) 2012: 629-638.
    [Link] [Preprint] [Bibtex] [Abstract]

Teaching

Year 2015/2016: University of Barcelona (UB)

  • Software Design.
  • Software Engineering.
  • Operating Systems.

Software

  • GraphFeatSAT: Tool for computing the graph features (scale-free structure, community structure, and self-similar structure) of SAT instances (version 2.2):
    Download
  • Community Attachment: A modularity-based random SAT instances generator for modeling realistic pseudo-industrial problems (version 2.1):
    Download
Last update: 2016-12-19