Conceptual-based Reasoning in Mobile Web 2.0 by Means Multiagent Systems - Knowledge Engineering Notes. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Jesús Giráldez-Cru (ICAART (2), 2012)

On the Complexity of Shared Conceptualizations. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Jesús Giráldez-Cru (ICAISC (1), 2012)

The Community Structure of SAT Formulas. - Carlos Ansótegui; Jesús Giráldez-Cru; Jordi Levy (SAT, 2012)

Agent-mediated shared conceptualizations in tagging services. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Jesús Giráldez-Cru (Multim. Tools Appl., 2013)

The Fractal Dimension of SAT Formulas. - Carlos Ansótegui; Maria Luisa Bonet; Jesús Giráldez-Cru; Jordi Levy (IJCAR, 2014)

On the Classification of Industrial SAT Families. - Carlos Ansótegui; Maria Luisa Bonet; Jesús Giráldez-Cru; Jordi Levy (CCIA, 2015)

A Modularity-Based Random SAT Instances Generator. - Jesús Giráldez-Cru; Jordi Levy (IJCAI, 2015)

Using Community Structure to Detect Relevant Learnt Clauses. - Carlos Ansótegui; Jesús Giráldez-Cru; Jordi Levy; Laurent Simon 001 (SAT, 2015)

ABT with Clause Learning for Distributed SAT. - Jesús Giráldez-Cru; Pedro Meseguer (CAEPIA, 2016)

Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network. - Kemo Adrian; Paula Daniela Chocron; Roberto Confalonieri 001; Xavier Ferrer Aran; Jesús Giráldez-Cru (CCIA, 2016)

Connecting ABT with a SAT Solver. - Jesús Giráldez-Cru; Guillermo Martín-Sánchez; Pedro Meseguer (STAIRS, 2016)

Generating SAT instances with community structure. - Jesús Giráldez-Cru; Jordi Levy (Artif. Intell., 2016)

Community Structure in Industrial SAT Instances. - Carlos Ansótegui; Maria Luisa Bonet; Jesús Giráldez-Cru; Jordi Levy (CoRR, 2016)

Beyond the Structure of SAT Formulas. - Jesús Giráldez-Cru (2016)

Iterative AWC for Distributed SAT. - Jesús Giráldez-Cru; Jimmy H. M. Lee; Pedro Meseguer (CCIA, 2017)

Locality in Random SAT Instances. - Jesús Giráldez-Cru; Jordi Levy (IJCAI, 2017)

On the Community Structure of Bounded Model Checking SAT Problems. - Guillaume Baud-Berthier; Jesús Giráldez-Cru; Laurent Simon 001 (SAT, 2017)

Beyond the structure of SAT formulas. - Jesús Giráldez-Cru (Constraints An Int. J., 2017)

Structure features for SAT instances classification. - Carlos Ansótegui; Maria Luisa Bonet; Jesús Giráldez-Cru; Jordi Levy (J. Appl. Log., 2017)

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. - Jan Elffers; Jesús Giráldez-Cru; Stephan Gocht; Jakob Nordström; Laurent Simon 001 (IJCAI, 2018)

Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers. - Jan Elffers; Jesús Giráldez-Cru; Jakob Nordström; Marc Vinyals (SAT, 2018)

In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving. - Marc Vinyals; Jan Elffers; Jesús Giráldez-Cru; Stephan Gocht; Jakob Nordström (SAT, 2018)

A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. - Miquel Bofill; Jesús Giráldez-Cru; Josep Suy; Mateu Villaret (CCIA, 2019)

Community Structure in Industrial SAT Instances. - Carlos Ansótegui; Maria Luisa Bonet; Jesús Giráldez-Cru; Jordi Levy; Laurent Simon 001 (J. Artif. Intell. Res., 2019)

2-tuple fuzzy linguistic perceptions and probabilistic awareness-based heuristics for modeling consumer purchase behaviors. - Jesús Giráldez-Cru; Manuel Chica; Oscar Cordón; Francisco Herrera (FUZZ-IEEE, 2020)

Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance. - Cristian Vidal Silva; José A. Galindo; Jesús Giráldez-Cru; David Benavides 001 (ISMIS (Industrial Paper), 2020)

Modeling agent-based consumers decision-making with 2-tuple fuzzy linguistic perceptions. - Jesús Giráldez-Cru; Manuel Chica; Oscar Cordón; Francisco Herrera (Int. J. Intell. Syst., 2020)

On the Temperature of SAT Formulas. - Jesús Giráldez-Cru; Pedro Almagro-Blanco (CCIA, 2021)

Popularity-similarity random SAT formulas. - Jesús Giráldez-Cru; Jordi Levy (Artif. Intell., 2021)

A framework of opinion dynamics using fuzzy linguistic 2-tuples. - Jesús Giráldez-Cru; Manuel Chica; Oscar Cordón (Knowl. Based Syst., 2021)

The effects of mass communication in a fuzzy linguistic framework of opinion dynamics. - Jesús Giráldez-Cru; Manuel Chica; Oscar Cordón (FUZZ-IEEE, 2022)

On the Performance of Deep Generative Models of Realistic SAT Instances. - Iván Garzón; Pablo Mesejo; Jesús Giráldez-Cru (SAT, 2022)

Characterizing the Temperature of SAT Formulas. - Pedro Almagro-Blanco; Jesús Giráldez-Cru (Int. J. Comput. Intell. Syst., 2022)

The Impact of Implied Constraints on MaxSAT B2B Instances. - Miquel Bofill; Jordi Coll; Jesús Giráldez-Cru; Josep Suy; Mateu Villaret (Int. J. Comput. Intell. Syst., 2022)

Analyzing the extremization of opinions in a general framework of bounded confidence and repulsion. - Jesús Giráldez-Cru; Carmen Zarco; Oscar Cordón (Inf. Sci., 2022)

Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem. - Miquel Bofill; Jordi Coll; Marc Garcia; Jesús Giráldez-Cru; Gilles Pesant; Josep Suy; Mateu Villaret (J. Artif. Intell. Res., 2022)

Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract). - Miquel Bofill; Jordi Coll; Marc Garcia; Jesús Giráldez-Cru; Gilles Pesant; Josep Suy; Mateu Villaret (IJCAI, 2023)

An Integrative Decision-Making Mechanism for Consumers' Brand Selection using 2-Tuple Fuzzy Linguistic Perceptions and Decision Heuristics. - Jesús Giráldez-Cru; Manuel Chica; Oscar Cordón (Int. J. Fuzzy Syst., 2023)

Learning Agents' Behavioral Patterns in Agent-Based Modeling by Means of Evolutionary Algorithms. - Péricles B. C. Miranda; Jesús Giráldez-Cru; Moésio Wenceslau da Silva Filho; Carmen Zarco; Oscar Cordón (CEC, 2024)

Modeling the opinion dynamics of superstars in the film industry. - Jesús Giráldez-Cru; Ana Suárez-Vázquez; Carmen Zarco; Oscar Cordón (Expert Syst. Appl., 2024)

Unveiling Agents' Confidence in Opinion Dynamics Models via Graph Neural Networks. - Víctor Vargas-Pérez; Jesús Giráldez-Cru; Pablo Mesejo; Oscar Cordón (IEEE Trans. Comput. Soc. Syst., 2025)

Opinion Dynamics with Highly Oscillating Opinions. - Víctor Vargas-Pérez; Jesús Giráldez-Cru; Oscar Cordón (CoRR, 2025)