Jesús Giráldez-Cru

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 34

Top Topics

Propositional Satisfiability

Fuzzy Linguistic

Top Venues

Publications

Péricles B. C. de Miranda, Jesús Giráldez-Cru, Moésio W. Silva-Filho, Carmen Zarco, Oscar Cordón
Learning Agents' Behavioral Patterns in Agent-Based Modeling by Means of Evolutionary Algorithms. CEC (2024)
Jesús Giráldez-Cru, Ana Suárez-Vázquez, Carmen Zarco, Oscar Cordón
Modeling the opinion dynamics of superstars in the film industry. Expert Syst. Appl. 250 (2024)
Jesús Giráldez-Cru, Manuel Chica, Oscar Cordón
An Integrative Decision-Making Mechanism for Consumers' Brand Selection using 2-Tuple Fuzzy Linguistic Perceptions and Decision Heuristics. Int. J. Fuzzy Syst. 25 (1) (2023)
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract). IJCAI (2023)
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem. J. Artif. Intell. Res. 74 (2022)
Pedro Almagro-Blanco, Jesús Giráldez-Cru
Characterizing the Temperature of SAT Formulas. Int. J. Comput. Intell. Syst. 15 (1) (2022)
Miquel Bofill, Jordi Coll, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
The Impact of Implied Constraints on MaxSAT B2B Instances. Int. J. Comput. Intell. Syst. 15 (1) (2022)
Jesús Giráldez-Cru, Carmen Zarco, Oscar Cordón
Analyzing the extremization of opinions in a general framework of bounded confidence and repulsion. Inf. Sci. 609 (2022)
Jesús Giráldez-Cru, Manuel Chica, Oscar Cordón
The effects of mass communication in a fuzzy linguistic framework of opinion dynamics. FUZZ-IEEE (2022)
Iván Garzón, Pablo Mesejo, Jesús Giráldez-Cru
On the Performance of Deep Generative Models of Realistic SAT Instances. SAT (2022)
Jesús Giráldez-Cru, Manuel Chica, Oscar Cordón
A framework of opinion dynamics using fuzzy linguistic 2-tuples. Knowl. Based Syst. 233 (2021)
Jesús Giráldez-Cru, Jordi Levy
Popularity-similarity random SAT formulas. Artif. Intell. 299 (2021)
Jesús Giráldez-Cru, Pedro Almagro-Blanco
On the Temperature of SAT Formulas. CCIA (2021)
Jesús Giráldez-Cru, Manuel Chica, Oscar Cordón, Francisco Herrera
2-tuple fuzzy linguistic perceptions and probabilistic awareness-based heuristics for modeling consumer purchase behaviors. FUZZ-IEEE (2020)
Cristian Vidal Silva, José A. Galindo, Jesús Giráldez-Cru, David Benavides
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance. ISMIS (Industrial Paper) (2020)
Jesús Giráldez-Cru, Manuel Chica, Oscar Cordón, Francisco Herrera
Modeling agent-based consumers decision-making with 2-tuple fuzzy linguistic perceptions. Int. J. Intell. Syst. 35 (2) (2020)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
Community Structure in Industrial SAT Instances. J. Artif. Intell. Res. 66 (2019)
Miquel Bofill, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. CCIA (2019)
Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. IJCAI (2018)
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)
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)
Jesús Giráldez-Cru, Jordi Levy
Locality in Random SAT Instances. IJCAI (2017)
Jesús Giráldez-Cru, Jimmy H. M. Lee, Pedro Meseguer
Iterative AWC for Distributed SAT. CCIA (2017)
Jesús Giráldez-Cru
Beyond the structure of SAT formulas. Constraints An Int. J. 22 (1) (2017)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
Structure features for SAT instances classification. J. Appl. Log. 23 (2017)
Guillaume Baud-Berthier, Jesús Giráldez-Cru, Laurent Simon
On the Community Structure of Bounded Model Checking SAT Problems. SAT (2017)
Jesús Giráldez-Cru, Pedro Meseguer
ABT with Clause Learning for Distributed SAT. CAEPIA (2016)
Kemo Adrian, Paula Daniela Chocron, Roberto Confalonieri, Xavier Ferrer Aran, Jesús Giráldez-Cru
Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network. CCIA (2016)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
Community Structure in Industrial SAT Instances. CoRR (2016)
Jesús Giráldez-Cru, Guillermo Martín-Sánchez, Pedro Meseguer
Connecting ABT with a SAT Solver. STAIRS (2016)
Jesús Giráldez-Cru, Jordi Levy
Generating SAT instances with community structure. Artif. Intell. 238 (2016)
Jesús Giráldez-Cru, Jordi Levy
A Modularity-Based Random SAT Instances Generator. IJCAI (2015)
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
Using Community Structure to Detect Relevant Learnt Clauses. SAT (2015)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
On the Classification of Industrial SAT Families. CCIA (2015)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
The Fractal Dimension of SAT Formulas. IJCAR (2014)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
The Fractal Dimension of SAT Formulas. CoRR (2013)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru
Agent-mediated shared conceptualizations in tagging services. Multim. Tools Appl. 65 (1) (2013)
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy
The Community Structure of SAT Formulas. SAT (2012)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru
On the Complexity of Shared Conceptualizations. ICAISC (1) (2012)
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)