Directorio
JESUS GIRALDEZ CRU
Categoría
Profesor Ayudante Doctor
Contacto
Correo electrónico
Departamento
Área
Ciencia de la Computación e Inteligenc. Artificial
Docencia
Asignaturas que imparte
Investigación
Grupo de investigación
SOFT COMPUTING Y SISTEMAS DE INFORMACIÓN INTELIGENTES (SCI2S)
Proyectos y contratos de investigación
Proyecto DL-SAT (PPJIA2021-05 - Investigador Principal Consolidado)
Proyecto "Proof Complexity and SAT Solving" (ERC-279611 - Investigador/a)
Proyecto AIMAR (A-TIC-284-UGR18 - Participante)
Proyecto EXASOCO (PGC2018-101216-B-I00 - Participante)
Proyecto RASO (TIN2015-71799-C2-1-P - Participante)
Proyecto "Una aproximación declarativa para modelizar, analizar y resolver problemas" (TIN2013- 45732-C4-4-P - Participante)
Proyecto TASSAT (TIN2010-20967-C04- 01 - Participante)
Proyecto ConfIA (PID2021-122916NB-I00 - Investigador/a)
Proyecto SIMARK (P18-TP-4475 - Investigador/a)
Capítulos en Libros
Almagro-Blanco, Pedro;Giráldez, Jesús:
On the Temperature of SAT Formulas. Pág. 46-55. IOS PRESS. IOS PRESS. 2021.
On the Temperature of SAT Formulas. Pág. 46-55. IOS PRESS. IOS PRESS. 2021.
Bofill, Miquel;Giráldez, Jesús;Suy, Josep;Villaret, Mateu:
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. Pág. 183-192. IOS Press, United Kingdom. IOS Press, United Kingdom. 2019.
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. Pág. 183-192. IOS Press, United Kingdom. IOS Press, United Kingdom. 2019.
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. Pág. 292-310. Springer. Springer. 2018.
In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving. Pág. 292-310. Springer. Springer. 2018.
Elffers, Jan;Giráldez, Jesús;Nordström, Jakob;Vinyals, Marc:
Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers. Pág. 75-93. Springer. Springer. 2018.
Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers. Pág. 75-93. Springer. Springer. 2018.
Baud-berthier, Guillaume;Giráldez, Jesús;Simon, Laurent:
On the Community Structure of Bounded Model Checking SAT Problems. Pág. 65-82. Springer. Springer. 2017.
On the Community Structure of Bounded Model Checking SAT Problems. Pág. 65-82. Springer. Springer. 2017.
Giráldez, Jesús;Lee, Jimmy H.m.;Meseguer, Pedro:
Iterative AWC for Distributed SAT. Pág. 56-65. IOS PRESS. IOS PRESS. 2017.
Iterative AWC for Distributed SAT. Pág. 56-65. IOS PRESS. IOS PRESS. 2017.
Giráldez, Jesús;Martin-sanchez, Guillermo;Meseguer, Pedro:
Connecting ABT with a SAT Solver. Pág. 179-184. IOS PRESS. IOS PRESS. 2016.
Connecting ABT with a SAT Solver. Pág. 179-184. IOS PRESS. IOS PRESS. 2016.
Adrian, Kemo;Chocron, Paula;Confalonieri, Roberto;Ferrer, Xavier;Giráldez, Jesús:
Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network. Pág. 187-196. IOS PRESS. IOS PRESS. 2016.
Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network. Pág. 187-196. IOS PRESS. IOS PRESS. 2016.
Giráldez, Jesús;Meseguer, Pedro:
ABT with Clause Learning for Distributed SAT. Pág. 183-193. Springer. Springer. 2016.
ABT with Clause Learning for Distributed SAT. Pág. 183-193. Springer. Springer. 2016.
Ansótegui, Carlos;Bonet, Maria Luisa;Giráldez, Jesús;Levy, Jordi:
On the Classification of Industrial SAT Families. Pág. 163-172. IOS PRESS. IOS PRESS. 2015.
On the Classification of Industrial SAT Families. Pág. 163-172. IOS PRESS. IOS PRESS. 2015.
Ansótegui, Carlos;Giráldez, Jesús;Levy, Jordi;Simon, Laurent:
Using Community Structure to Detect Relevant Learnt Clauses. Pág. 238-254. Springer. Springer. 2015.
Using Community Structure to Detect Relevant Learnt Clauses. Pág. 238-254. Springer. Springer. 2015.
Ansótegui, Carlos;Bonet, Maria Luisa;Giráldez, Jesús;Levy, Jordi:
The Fractal Dimension of SAT Formulas. Pág. 107-121. Springer. Springer. 2014.
The Fractal Dimension of SAT Formulas. Pág. 107-121. Springer. Springer. 2014.
Ansótegui, Carlos;Giráldez, Jesús;Levy, Jordi:
The Community Structure of SAT Formulas. Pág. 410-423. Springer. Springer. 2012.
The Community Structure of SAT Formulas. Pág. 410-423. Springer. Springer. 2012.
Asistencia 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
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
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
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
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
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
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
On the Complexity of Shared Conceptualizations. Ponencia en Congreso. 11th International Conference on Artificial Intelligence and Soft Computing. Cz¿stochowa,Poland. 2012
Artículos publicados
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. International Journal of Fuzzy Systems. 2023. Vol: 25. Pág. 59-79. https://doi.org/10.1007/s40815-022-01385-x.
An integrative decision making mechanism for consumers' brand selection using 2-tuple fuzzy linguistic perceptions and decision heuristics. International Journal of Fuzzy Systems. 2023. Vol: 25. Pág. 59-79. https://doi.org/10.1007/s40815-022-01385-x.
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. Journal of Artificial Intelligence Research. 2022. Vol: 74. Pág. 263-301. 10.1613/jair.1.12670.
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem. Journal of Artificial Intelligence Research. 2022. Vol: 74. Pág. 263-301. 10.1613/jair.1.12670.
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. Information Sciences. 2022. Vol: 609. Pág. 1256-1270. https://doi.org/10.1016/j.ins.2022.07.164.
Analyzing the extremization of opinions in a general framework of bounded confidence and repulsion. Information Sciences. 2022. Vol: 609. Pág. 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. International Journal of Computational Intelligence Systems. 2022. Vol: 15. Núm: 1. 10.1007/s44196-022-00122-4.
Characterizing the Temperature of SAT Formulas. International Journal of Computational Intelligence Systems. 2022. Vol: 15. Núm: 1. 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. International Journal of Computational Intelligence Systems. 2022. Vol: 15. Núm: 1. 10.1007/s44196-022-00121-5.
The Impact of Implied Constraints on MaxSAT B2B Instances. International Journal of Computational Intelligence Systems. 2022. Vol: 15. Núm: 1. 10.1007/s44196-022-00121-5.
Giráldez, Jesús;Levy, Jordi:
Popularity-similarity random SAT formulas. Artificial Intelligence. 2021. Vol: 299. 10.1016/j.artint.2021.103537.
Popularity-similarity random SAT formulas. Artificial Intelligence. 2021. Vol: 299. 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. Knowledge-Based Systems. 2021. Vol: 233. https://doi.org/10.1016/j.knosys.2021.107559.
A Framework of Opinion Dynamics using 2-Tuple Fuzzy Linguistic Variables. Knowledge-Based Systems. 2021. Vol: 233. 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. International Journal of Intelligent Systems. 2020. Vol: 35. Núm: 2. Pág. 283-299. https://doi.org/10.1002/int.22211.
Modeling Agent-based Consumers Decision-making with 2-tuple Fuzzy Linguistic Perceptions. International Journal of Intelligent Systems. 2020. Vol: 35. Núm: 2. Pág. 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. Journal of Artificial Intelligence Research. 2019. Vol: 66. Pág. 443-472. https://doi.org/10.1613/jair.1.11741.
Community Structure in Industrial SAT Instances. Journal of Artificial Intelligence Research. 2019. Vol: 66. Pág. 443-472. https://doi.org/10.1613/jair.1.11741.
Giráldez, Jesús:
Beyond the structure of SAT formulas. Constraints. 2017. Vol: 22. Núm: 1. Pág. 95-96. 10.1007/s10601-016-9260-z.
Beyond the structure of SAT formulas. Constraints. 2017. Vol: 22. Núm: 1. Pág. 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. Journal of Applied Logic. 2017. Vol: 23. Pág. 27-39. 10.1016/j.jal.2016.11.004.
Structure features for SAT instances classification. Journal of Applied Logic. 2017. Vol: 23. Pág. 27-39. 10.1016/j.jal.2016.11.004.
Giráldez, Jesús;Levy, Jordi:
Generating SAT instances with community structure. Artificial Intelligence. 2016. Vol: 238. Pág. 119-134. 10.1016/j.artint.2016.06.001.
Generating SAT instances with community structure. Artificial Intelligence. 2016. Vol: 238. Pág. 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. Multimedia Tools and Applications. 2013. Vol: 65. Núm: 1. Pág. 5-28. 10.1007/s11042-012-1146-5.
Agent-mediated shared conceptualizations in tagging services. Multimedia Tools and Applications. 2013. Vol: 65. Núm: 1. Pág. 5-28. 10.1007/s11042-012-1146-5.
