UGR / ETSIIT / DECSAI / SCI2S / Jesús Girárldez Crú

Jesús Giráldez Crú

Picture of Jesús
E-mail: jgiraldez <AT> ugr <DOT> es
Telephone: +34 958 241 774
Address: CITIC - UGR
Universidad de Granada
C/ Periodista Rafael Gómez, 2
18014 Granada
SPAIN
Office: CITIC, DB5

I am a postdoctoral researcher (Juan de la Cierva fellowship), working with Óscar Cordón as a member of the Soft Computing and Intelligent Information Systems research group, in the Department of Computer Science and Artificial Intelligence of the University of Granada. My main interests focus on satisfaction and optimization problems, and complex networks.

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.

Scientific Positions

  • Universidad de Granada (UGR)
    Postdoctoral researcher. Juan de la Cierva program. 2019-.
  • Universidad Internacional Menéndez Pelayo (UIMP)
    Lecturer. 2018-.
  • Universidad de Sevilla (US)
    Assistant Professor. 2018-2019.
  • Universidad Internacional Menéndez Pelayo (UIMP)
    Lecturer. 2017-2018.
  • Royal Institute of Technology (KTH)
    Postdoctoral researcher. 2016-2017.
  • Artificial Intelligence Research Institute (IIIA-CSIC)
    Postdoctoral researcher. 2016.
  • Universitat de Barcelona (UB)
    Lecturer. 2015-2016.
  • Artificial Intelligence Research Institute (IIIA-CSIC)
    Predoctoral researcher. FPI program. 2011-2015.

Publications

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

Journal Papers

    2017

  1. Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy: Structure Features for SAT Instances Classification. Journal of Applied Logics 23: 27-29 (2016).
    [Link] [Preprint] [Bibtex] [Abstract]
  2. Jesús Giráldez-Cru: Beyond the Structure of SAT Formulas. Constraints 22: 95-96 (2017).
    [Link] [Preprint] [Bibtex] [Abstract]
  3. 2016

  4. Jesús Giráldez-Cru, Jordi Levy: Generating SAT Instances with Community Structure. Artificial Intelligence 238: 119-134 (2016).
    [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 Papers

    2018

  1. Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon: Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. IJCAI 2018: 1300-1308.
    [Link] [Preprint] [Bibtex] [Abstract]
  2. Marc Vinyals, Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström: In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving. SAT 2018: 292-310.
    [Link] [Preprint] [Bibtex] [Abstract]
  3. Jan Elffers, Jesús Giráldez-Cru, Jakob Nordström, Marc Vinyals: Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers. SAT 2018: 75-93.
    [Link] [Preprint] [Bibtex] [Abstract]
  4. Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon: Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. POS 2018: accepted.
    [Link] [Preprint] [Bibtex] [Abstract]
  5. 2017

  6. Jesús Giráldez-Cru, Jordi Levy: Locality in Random SAT Instances. IJCAI 2017: 638-644.
    [Link] [Preprint] [Bibtex] [Abstract]
  7. Guillaume Baud-Berthier, Jesus Giráldez-Cru, Laurent Simon: Unveiling the community structure of Bounded Model Checking SAT problems. SAT 2017: 65-82.
    [Link] [Preprint] [Bibtex] [Abstract]
  8. Jan Elffers, Jesús Giráldez-Cru, Jakob Nordström and Marc Vinyals: Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers. PoCR 2017: accepted.
    [Link] [Preprint] [Bibtex] [Abstract]
  9. Marc Vinyals, Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht and Jakob Nordström: In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving. PoCR 2017: accepted.
    [Link] [Preprint] [Bibtex] [Abstract]
  10. 2016

  11. 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]
  12. Jesús Giráldez-Cru, Pedro Meseguer: ABT with Clause Learning for Distributed SAT. CAEPIA 2016: 183-193.
    [Link] [Preprint] [Bibtex] [Abstract]
  13. 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]
  14. 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]
  15. Jesús Giráldez-Cru, Jordi Levy: Pseudo-Industrial Random SAT Generators. STRUCTSAT 2016.
    [Link] [Preprint] [Bibtex] [Abstract]
  16. 2015

  17. Jesús Giráldez-Cru, Jordi Levy: A Modularity-based Random SAT Instances Generator. IJCAI 2015: 1952-1958.
    [Link] [Preprint] [Bibtex] [Abstract]
  18. 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]
  19. 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]
  20. 2014

  21. 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]
  22. 2012

  23. Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy: The Community Structure of SAT Formulas. SAT 2012: 410-423.
    [Link] [Preprint] [Bibtex] [Abstract]
  24. 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]
  25. 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]

Program Committees

Also reviewer in:

  • CEC 2019
  • GCAI 2017
  • SAT 2016
  • IJCAR 2016

Invited Talks

  • SAT, complex networks and Machine Learning. Universidad de Granada (Granada, Spain). February 14th, 2019. Host institution.
  • Machine Learning applied to Decision and Optimization Problems. Universidad de Sevilla (Sevilla, Spain). June 22nd, 2018. Invited by Fernando Sancho.
  • Graph-based pseudo-industrial random SAT instance generators. Theory Group, CSC, KTH (Stockholm, Sweden). November 7th, 2016. Host institution.
  • 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. Host institution.

Short Research Stays

  • Universitat de Girona (UdG), Girona, Spain. From March to July, 2015. Invited by Mateu Villaret.
  • Laboratoire Bordelais de Recherche en Informatique (LaBRI), Bordeaux, France. From May to September, 2014. Invited by Laurent Simon.
  • NICTA, Melbourne, Australia. From August to November, 2013. Invited by Peter Stuckey.

Teaching

Year 2018/2019: MsC in Artificial Intelligence Research. Universidad Internacional Menéndez Pelayo (UIMP)

  • Advanced Heuristic Search
  • Reasoning with Constraints

Year 2018/2019: BsC in Computer Science. Universidad de Granada (UGR)

  • Foundations of Data Bases

Year 2018/2019: BsC in Computers Engineering. Universidad de Sevilla (US)

  • Operating Systems

Year 2017/2018: MsC in Artificial Intelligence Research. Universidad Internacional Menéndez Pelayo (UIMP)

  • Advanced Heuristic Search
  • Reasoning with Constraints

Year 2015/2016: BsC in Computer Science. Universitat 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
  • Popularity-Similarity model for pseudo-industrial random SAT instances (paper IJCAI 2017):
    Download
  • B2B random model (paper CCIA 2019):
    Download
Last update: 2019-03-15