Giráldez Crú, Jesús

Perfil en ORCID: 0000-0001-8963-6299

Perfil en ResearcherID: J-3011-2018

Grupos de Investigación

• SOFT COMPUTING Y SISTEMAS DE INFORMACIÓN INTELIGENTES

Responsable de los siguientes proyectos/ayudas en la US

Participa los siguientes proyectos/ayudas en la US

Proyectos:

• Proyecto EXASOCO ( PGC2018-101216-B-I00 - Participante).
• Proyecto ConfIA ( PID2021-122916NB-I00 - Investigador/a).
• Proyecto "Proof Complexity and SAT Solving" ( ERC-279611 - Investigador/a).
• Proyecto SIMARK ( P18-TP-4475 - Investigador/a).
• Proyecto AIMAR ( A-TIC-284-UGR18 - Participante).
• Proyecto "Una aproximación declarativa para modelizar, analizar y resolver problemas" ( TIN2013- 45732-C4-4-P - Participante).
• Proyecto RASO ( TIN2015-71799-C2-1-P - Participante).
• Proyecto TASSAT ( TIN2010-20967-C04- 01 - Participante).
• Proyecto DL-SAT ( PPJIA2021-05 - Investigador Principal Consolidado).

Publicaciones

Capítulo de Libros:

• Almagro-Blanco, Pedro, Giráldez, Jesús:
  On the Temperature of SAT Formulas. Pag. 46 - 55. En: Artificial Intelligence Research and Development. IOS PRESS. 2021. ISBN 978-1-64368-210-5
• Bofill, Miquel, Giráldez, Jesús, Suy, Josep, Villaret, Mateu:
  A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. Pag. 183 - 192. En: Artificial Intelligence Research and Development. IOS Press, United Kingdom. 2019. ISBN 978-1-64368-014-9
• Elffers, Jan, Giráldez, Jesús, Nordström, Jakob, Vinyals, Marc:
  Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers. Pag. 75 - 93. En: Lecture Notes in Computer Science, vol 10929. Springer. 2018. ISBN 978-3-319-94143-1
• Vinyals, Marc, Elffers, Jan, Giráldez, Jesús, Gotch, Stephan, Nordström, Jakob:
  In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving. Pag. 292 - 310. En: Lecture Notes in Computer Science, vol 10929. Springer. 2018. ISBN 978-3-319-94143-1
• Giráldez, Jesús, Lee, Jimmy H.m., Meseguer, Pedro:
  Iterative AWC for Distributed SAT. Pag. 56 - 65. En: Frontiers in Artificial Intelligence and Applications. Volume 300: Recent Advances in Artificial Intelligence Research and Development. IOS PRESS. 2017. ISBN 978-1-61499-805-1
• Baud-berthier, Guillaume, Giráldez, Jesús, Simon, Laurent:
  On the Community Structure of Bounded Model Checking SAT Problems. Pag. 65 - 82. En: Lecture Notes in Computer Science, vol 10491. Springer. 2017. ISBN 978-3-319-66262-6
• Giráldez, Jesús, Meseguer, Pedro:
  ABT with Clause Learning for Distributed SAT. Pag. 183 - 193. En: Advances in Artificial Intelligence LNAI 9868. Springer. 2016. ISBN 978-3-319-44635-6
• Giráldez, Jesús, Martin-sanchez, Guillermo, Meseguer, Pedro:
  Connecting ABT with a SAT Solver. Pag. 179 - 184. En: Frontiers in Artificial Intelligence and Applications. Volume 284: STAIRS 2016. IOS PRESS. 2016. ISBN 978-1-61499-681-1
• Adrian, Kemo, Chocron, Paula, Confalonieri, Roberto, Ferrer, Xavier, Giráldez, Jesús:
  Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network. Pag. 187 - 196. En: Frontiers in Artificial Intelligence and Applications. Volume 288: Artificial Intelligence Research and Development. IOS PRESS. 2016. ISBN 978-1-61499-695-8
• Ansótegui, Carlos, Giráldez, Jesús, Levy, Jordi, Simon, Laurent:
  Using Community Structure to Detect Relevant Learnt Clauses. Pag. 238 - 254. En: Lecture Notes in Computer Science, vol 9340. Springer. 2015. ISBN 978-3-319-24317-7
• Ansótegui, Carlos, Bonet, Maria Luisa, Giráldez, Jesús, Levy, Jordi:
  On the Classification of Industrial SAT Families. Pag. 163 - 172. En: Frontiers in Artificial Intelligence and Applications. Volume 277: Artificial Intelligence Research and Development. IOS PRESS. 2015. ISBN 978-1-61499-577-7
• Ansótegui, Carlos, Bonet, Maria Luisa, Giráldez, Jesús, Levy, Jordi:
  The Fractal Dimension of SAT Formulas. Pag. 107 - 121. En: Lecture Notes in Computer Science, vol 8562. Springer. 2014. ISBN 978-3-319-08586-9
• Ansótegui, Carlos, Giráldez, Jesús, Levy, Jordi:
  The Community Structure of SAT Formulas. Pag. 410 - 423. En: Lecture Notes in Computer Science, vol 7317. Springer. 2012. ISBN 978-3-642-31611-1

Publicaciones en Revistas:

• Giráldez, Jesús, Chica, Manuel, Cordón-García, Oscar:
  An integrative decision making mechanism for consumers' brand selection using 2-tuple fuzzy linguistic perceptions and decision heuristics. En: International Journal of Fuzzy Systems. 2023. Vol. 25. Núm. . Pag. 59-79 https://doi.org/10.1007/s40815-022-01385-x
• Giráldez, Jesús, Zarco-Fernández, Carmen, Cordón-García, Oscar:
  Analyzing the extremization of opinions in a general framework of bounded confidence and repulsion. En: Information Sciences. 2022. Vol. 609. Núm. . Pag. 1256-1270 https://doi.org/10.1016/j.ins.2022.07.164
• Almagro-Blanco, Pedro, Giráldez, Jesús:
  Characterizing the Temperature of SAT Formulas. En: International Journal of Computational Intelligence Systems. 2022. Vol. 15. Núm. 1. Pag. 59- 10.1007/s44196-022-00122-4
• Bofill, Miquel, Coll, Jordi, Giráldez, Jesús, Suy, Josep, Villaret, Mateu:
  The Impact of Implied Constraints on MaxSAT B2B Instances. En: International Journal of Computational Intelligence Systems. 2022. Vol. 15. Núm. 1. Pag. 63- 10.1007/s44196-022-00121-5
• Bofill, Miquel, Coll, Jordi, Garcia, Marc, Giráldez, Jesús, Pesant, Gilles, Suy, Josep, Villaret, Mateu:
  Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem. En: Journal of Artificial Intelligence Research. 2022. Vol. 74. Núm. . Pag. 263-301 10.1613/jair.1.12670
• Giráldez, Jesús, Levy, Jordi:
  Popularity-similarity random SAT formulas. En: Artificial Intelligence. 2021. Vol. 299. Núm. . Pag. 103537- 10.1016/j.artint.2021.103537
• Giráldez, Jesús, Chica, Manuel, Cordón-García, Oscar:
  A Framework of Opinion Dynamics using 2-Tuple Fuzzy Linguistic Variables. En: Knowledge-Based Systems. 2021. Vol. 233. Núm. . Pag. 107559- https://doi.org/10.1016/j.knosys.2021.107559
• Giráldez, Jesús, Chica, Manuel, Cordón-García, Oscar, Herrera-Triguero, Francisco:
  Modeling Agent-based Consumers Decision-making with 2-tuple Fuzzy Linguistic Perceptions. En: International Journal of Intelligent Systems. 2020. Vol. 35. Núm. 2. Pag. 283-299 https://doi.org/10.1002/int.22211
• Ansótegui, Carlos , Bonet, María Luisa, Giráldez, Jesús, Levy, Jordi:
  Community Structure in Industrial SAT Instances. En: Journal of Artificial Intelligence Research. 2019. Vol. 66. Núm. . Pag. 443-472 https://doi.org/10.1613/jair.1.11741
• Giráldez, Jesús:
  Beyond the structure of SAT formulas. En: Constraints. 2017. Vol. 22. Núm. 1. Pag. 95-96 10.1007/s10601-016-9260-z
• Ansótegui, Carlos, Bonet, Maria Luisa, Giráldez, Jesús, Levy, Jordi:
  Structure features for SAT instances classification. En: Journal of Applied Logic. 2017. Vol. 23. Núm. . Pag. 27-39 10.1016/j.jal.2016.11.004
• Giráldez, Jesús, Levy, Jordi:
  Generating SAT instances with community structure. En: Artificial Intelligence. 2016. Vol. 238. Núm. . Pag. 119-134 10.1016/j.artint.2016.06.001
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Giráldez, Jesús:
  Agent-mediated shared conceptualizations in tagging services. En: Multimedia Tools and Applications. 2013. Vol. 65. Núm. 1. Pag. 5-28 10.1007/s11042-012-1146-5

Aportaciones a Congresos:

• Garzón, Iván, Mesejo, Pablo, Giráldez, Jesús:
  On the Performance of Deep Generative Models of Realistic SAT Instances. Comunicación en congreso. 25th International Conference on Theory and Applications of Satisfiability Testing. Haifa, Israel. 2022
• Giráldez, Jesús, Chica, Manuel, Cordón-García, Oscar:
  The effects of mass communication in a fuzzy linguistic framework of opinion dynamics. Comunicación en congreso. 2022 IEEE International Conference on Fuzzy Systems. PADUA (ITALIA). 2022
• Giráldez, Jesús, Chica, Manuel, Cordón-García, Oscar:
  2-tuple fuzzy linguistic perceptions and probabilistic awareness-based heuristics for modeling consumer purchase behaviors. Comunicación en congreso. 29th IEEE International Conference on Fuzzy Systems. - Glasgow. 2020
• Elffers, Jan, Giráldez, Jesús, Gotch, Stephan, Nordström, Jakob, Simon, Laurent:
  Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. Comunicación en congreso. IJCAI 2018. Estocolmo, Suecia. 2018
• Giráldez, Jesús, Levy, Jordi:
  Locality in Random SAT Instances. Comunicación en congreso. IJCAI 2017. Melbourne, Australia. 2017
• Giráldez, Jesús, Levy, Jordi:
  A Modularity-Based Random SAT Instances Generator. Comunicación en congreso. IJCAI 2015. Buenos Aires, Argentina. 2015
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Giráldez, Jesús:
  On the Complexity of Shared Conceptualizations. Ponencia en Congreso. 11th International Conference on Artificial Intelligence and Soft Computing. Cz¿stochowa,Poland. 2012