Jesús Giráldez-Cru

According to our database, Jesús Giráldez-Cru authored at least 38 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., February, 2023

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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

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

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

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

Characterizing the Temperature of SAT Formulas.

Pedro Almagro-Blanco, Jesús Giráldez-Cru

Int. J. Comput. Intell. Syst., 2022

On the Performance of Deep Generative Models of Realistic SAT Instances.

Iván Garzón, Pablo Mesejo, Jesús Giráldez-Cru

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

The effects of mass communication in a fuzzy linguistic framework of opinion dynamics.

Jesús Giráldez-Cru, Manuel Chica, Oscar Cordón

Proceedings of the IEEE International Conference on Fuzzy Systems, 2022

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

Popularity-similarity random SAT formulas.

Jesús Giráldez-Cru, Jordi Levy

Artif. Intell., 2021

On the Temperature of SAT Formulas.

Jesús Giráldez-Cru, Pedro Almagro-Blanco

Proceedings of the Artificial Intelligence Research and Development, 2021

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

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

Proceedings of the Intelligent Systems in Industrial Applications, 2020

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

Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019

Community Structure in Industrial SAT Instances.

Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon

J. Artif. Intell. Res., 2019

A Study on Implied Constraints in a MaxSAT Approach to B2B Problems.

Miquel Bofill, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret

Proceedings of the Artificial Intelligence Research and Development, 2019

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

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 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

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks.

Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Structure features for SAT instances classification.

Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy

J. Appl. Log., 2017

Beyond the structure of SAT formulas.

Jesús Giráldez-Cru

Constraints An Int. J., 2017

On the Community Structure of Bounded Model Checking SAT Problems.

Guillaume Baud-Berthier, Jesús Giráldez-Cru, Laurent Simon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Locality in Random SAT Instances.

Jesús Giráldez-Cru, Jordi Levy

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Iterative AWC for Distributed SAT.

Jesús Giráldez-Cru, Jimmy H. M. Lee, Pedro Meseguer

Proceedings of the Recent Advances in Artificial Intelligence Research and Development, 2017

2016

Beyond the Structure of SAT Formulas.

Jesús Giráldez-Cru

PhD thesis, 2016

Community Structure in Industrial SAT Instances.

Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy

CoRR, 2016

Generating SAT instances with community structure.

Jesús Giráldez-Cru, Jordi Levy

Artif. Intell., 2016

Connecting ABT with a SAT Solver.

Jesús Giráldez-Cru, Guillermo Martín-Sánchez, Pedro Meseguer

Proceedings of the STAIRS 2016, 2016

Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network.

Kemo Adrian, Paula Daniela Chocron, Roberto Confalonieri, Xavier Ferrer Aran, Jesús Giráldez-Cru

Proceedings of the Artificial Intelligence Research and Development, 2016

ABT with Clause Learning for Distributed SAT.

Jesús Giráldez-Cru, Pedro Meseguer

Proceedings of the Advances in Artificial Intelligence, 2016

2015

Using Community Structure to Detect Relevant Learnt Clauses.

Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

A Modularity-Based Random SAT Instances Generator.

Jesús Giráldez-Cru, Jordi Levy

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Classification of Industrial SAT Families.

Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy

Proceedings of the Artificial Intelligence Research and Development, 2015

2014

The Fractal Dimension of SAT Formulas.

Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

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

2012

The Community Structure of SAT Formulas.

Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

On the Complexity of Shared Conceptualizations.

Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru

Proceedings of the Artificial Intelligence and Soft Computing, 2012

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

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2, 2012