Jesús Giráldez-Cru

44 papers A* 4A 7B 3Journal 19Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Opinion dynamics with highly oscillating opinions.
Neurocomputing
Víctor Vargas-Pérez, Jesús Giráldez-Cru, Oscar Cordón
2025 J jnl
Opinion Dynamics with Highly Oscillating Opinions.
CoRR
Víctor Vargas-Pérez, Jesús Giráldez-Cru, Oscar Cordón
2025 J jnl
Unveiling Agents' Confidence in Opinion Dynamics Models via Graph Neural Networks.
IEEE Trans. Comput. Soc. Syst.
Víctor Vargas-Pérez, Jesús Giráldez-Cru, Pablo Mesejo, Oscar Cordón
2024 B conf
Learning Agents' Behavioral Patterns in Agent-Based Modeling by Means of Evolutionary Algorithms.
CEC
Péricles B. C. Miranda, Jesús Giráldez-Cru, Moésio Wenceslau da Silva Filho, Carmen Zarco, Oscar Cordón
2024 J jnl
Modeling the opinion dynamics of superstars in the film industry.
Expert Syst. Appl.
Jesús Giráldez-Cru, Ana Suárez-Vázquez, Carmen Zarco, Oscar Cordón
2023 J jnl
An Integrative Decision-Making Mechanism for Consumers' Brand Selection using 2-Tuple Fuzzy Linguistic Perceptions and Decision Heuristics.
Int. J. Fuzzy Syst.
Jesús Giráldez-Cru, Manuel Chica, Oscar Cordón
2023 A* conf
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract).
IJCAI
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
2022 J jnl
Analyzing the extremization of opinions in a general framework of bounded confidence and repulsion.
Inf. Sci.
Jesús Giráldez-Cru, Carmen Zarco, Oscar Cordón
2022 J jnl
Characterizing the Temperature of SAT Formulas.
Int. J. Comput. Intell. Syst.
Pedro Almagro-Blanco, Jesús Giráldez-Cru
2022 J jnl
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem.
J. Artif. Intell. Res.
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
2022 A conf
On the Performance of Deep Generative Models of Realistic SAT Instances.
SAT
Iván Garzón, Pablo Mesejo, Jesús Giráldez-Cru
2022 J jnl
The Impact of Implied Constraints on MaxSAT B2B Instances.
Int. J. Comput. Intell. Syst.
Miquel Bofill, Jordi Coll, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
2022 B conf
The effects of mass communication in a fuzzy linguistic framework of opinion dynamics.
FUZZ-IEEE
Jesús Giráldez-Cru, Manuel Chica, Oscar Cordón
2021 J jnl
A framework of opinion dynamics using fuzzy linguistic 2-tuples.
Knowl. Based Syst.
Jesús Giráldez-Cru, Manuel Chica, Oscar Cordón
2021 — conf
On the Temperature of SAT Formulas.
CCIA
Jesús Giráldez-Cru, Pedro Almagro-Blanco
2021 J jnl
Popularity-similarity random SAT formulas.
Artif. Intell.
Jesús Giráldez-Cru, Jordi Levy
2020 B conf
2-tuple fuzzy linguistic perceptions and probabilistic awareness-based heuristics for modeling consumer purchase behaviors.
FUZZ-IEEE
Jesús Giráldez-Cru, Manuel Chica, Oscar Cordón, Francisco Herrera
2020 — conf
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance.
ISMIS (Industrial Paper)
Cristian Vidal Silva, José A. Galindo, Jesús Giráldez-Cru, David Benavides
2020 J jnl
Modeling agent-based consumers decision-making with 2-tuple fuzzy linguistic perceptions.
Int. J. Intell. Syst.
Jesús Giráldez-Cru, Manuel Chica, Oscar Cordón, Francisco Herrera
2019 — conf
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems.
CCIA
Miquel Bofill, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
2019 J jnl
Community Structure in Industrial SAT Instances.
J. Artif. Intell. Res.
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
2018 A conf
In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving.
SAT
Marc Vinyals, Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström
2018 A* conf
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks.
IJCAI
Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon
2018 A conf
Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers.
SAT
Jan Elffers, Jesús Giráldez-Cru, Jakob Nordström, Marc Vinyals
2017 J jnl
Beyond the structure of SAT formulas.
Constraints An Int. J.
Jesús Giráldez-Cru
2017 — conf
Iterative AWC for Distributed SAT.
CCIA
Jesús Giráldez-Cru, Jimmy H. M. Lee, Pedro Meseguer
2017 A* conf
Locality in Random SAT Instances.
IJCAI
Jesús Giráldez-Cru, Jordi Levy
2017 A conf
On the Community Structure of Bounded Model Checking SAT Problems.
SAT
Guillaume Baud-Berthier, Jesús Giráldez-Cru, Laurent Simon
2017 J jnl
Structure features for SAT instances classification.
J. Appl. Log.
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
2016 — conf
ABT with Clause Learning for Distributed SAT.
CAEPIA
Jesús Giráldez-Cru, Pedro Meseguer
2016 — —
Beyond the Structure of SAT Formulas.
Jesús Giráldez-Cru
2016 J jnl
Community Structure in Industrial SAT Instances.
CoRR
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
2016 — conf
Connecting ABT with a SAT Solver.
STAIRS
Jesús Giráldez-Cru, Guillermo Martín-Sánchez, Pedro Meseguer
2016 J jnl
Generating SAT instances with community structure.
Artif. Intell.
Jesús Giráldez-Cru, Jordi Levy
2016 — conf
Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network.
CCIA
Kemo Adrian, Paula Daniela Chocron, Roberto Confalonieri, Xavier Ferrer Aran, Jesús Giráldez-Cru
2015 A* conf
A Modularity-Based Random SAT Instances Generator.
IJCAI
Jesús Giráldez-Cru, Jordi Levy
2015 — conf
On the Classification of Industrial SAT Families.
CCIA
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
2015 A conf
Using Community Structure to Detect Relevant Learnt Clauses.
SAT
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
2014 A conf
The Fractal Dimension of SAT Formulas.
IJCAR
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
2013 J jnl
Agent-mediated shared conceptualizations in tagging services.
Multim. Tools Appl.
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru
2013 J jnl
The Fractal Dimension of SAT Formulas.
CoRR
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
2012 — conf
Conceptual-based Reasoning in Mobile Web 2.0 by Means Multiagent Systems - Knowledge Engineering Notes.
ICAART (2)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru
2012 — conf
On the Complexity of Shared Conceptualizations.
ICAISC (1)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru
2012 A conf
The Community Structure of SAT Formulas.
SAT
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy