default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJesús Giráldez-Cru
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j14]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: 123750 (2024)- [c24]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: 1-8 - 2023
- [j13]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): 59-79 (2023) - [c23]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: 6851-6852 - 2022
- [j12]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): 63 (2022) - [j11]Pedro Almagro-Blanco, Jesús Giráldez-Cru:
Characterizing the Temperature of SAT Formulas. Int. J. Comput. Intell. Syst. 15(1): 69 (2022) - [j10]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: 1256-1270 (2022) - [j9]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: 263-301 (2022) - [c22]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: 1-8 - [c21]Iván Garzón, Pablo Mesejo, Jesús Giráldez-Cru:
On the Performance of Deep Generative Models of Realistic SAT Instances. SAT 2022: 3:1-3:19 - 2021
- [j8]Jesús Giráldez-Cru, Jordi Levy:
Popularity-similarity random SAT formulas. Artif. Intell. 299: 103537 (2021) - [j7]Jesús Giráldez-Cru, Manuel Chica, Oscar Cordón:
A framework of opinion dynamics using fuzzy linguistic 2-tuples. Knowl. Based Syst. 233: 107559 (2021) - [c20]Jesús Giráldez-Cru, Pedro Almagro-Blanco:
On the Temperature of SAT Formulas. CCIA 2021: 46-55 - 2020
- [j6]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): 283-299 (2020) - [c19]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: 1-8 - [c18]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: 107-117
2010 – 2019
- 2019
- [j5]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: 443-472 (2019) - [c17]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: 183-192 - 2018
- [c16]Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon:
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. IJCAI 2018: 1300-1308 - [c15]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: 75-93 - [c14]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: 292-310 - 2017
- [j4]Jesús Giráldez-Cru:
Beyond the structure of SAT formulas. Constraints An Int. J. 22(1): 95-96 (2017) - [j3]Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy:
Structure features for SAT instances classification. J. Appl. Log. 23: 27-39 (2017) - [c13]Jesús Giráldez-Cru, Jimmy H. M. Lee, Pedro Meseguer:
Iterative AWC for Distributed SAT. CCIA 2017: 56-65 - [c12]Jesús Giráldez-Cru, Jordi Levy:
Locality in Random SAT Instances. IJCAI 2017: 638-644 - [c11]Guillaume Baud-Berthier, Jesús Giráldez-Cru, Laurent Simon:
On the Community Structure of Bounded Model Checking SAT Problems. SAT 2017: 65-82 - 2016
- [b1]Jesús Giráldez-Cru:
Beyond the Structure of SAT Formulas. Autonomous University of Barcelona, Spain, 2016 - [j2]Jesús Giráldez-Cru, Jordi Levy:
Generating SAT instances with community structure. Artif. Intell. 238: 119-134 (2016) - [c10]Jesús Giráldez-Cru, Pedro Meseguer:
ABT with Clause Learning for Distributed SAT. CAEPIA 2016: 183-193 - [c9]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: 187-196 - [c8]Jesús Giráldez-Cru, Guillermo Martín-Sánchez, Pedro Meseguer:
Connecting ABT with a SAT Solver. STAIRS 2016: 179-184 - [i2]Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy:
Community Structure in Industrial SAT Instances. CoRR abs/1606.03329 (2016) - 2015
- [c7]Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy:
On the Classification of Industrial SAT Families. CCIA 2015: 163-172 - [c6]Jesús Giráldez-Cru, Jordi Levy:
A Modularity-Based Random SAT Instances Generator. IJCAI 2015: 1952-1958 - [c5]Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon:
Using Community Structure to Detect Relevant Learnt Clauses. SAT 2015: 238-254 - 2014
- [c4]Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy:
The Fractal Dimension of SAT Formulas. IJCAR 2014: 107-121 - 2013
- [j1]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): 5-28 (2013) - [i1]Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy:
The Fractal Dimension of SAT Formulas. CoRR abs/1308.5046 (2013) - 2012
- [c3]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: 176-183 - [c2]Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru:
On the Complexity of Shared Conceptualizations. ICAISC (1) 2012: 629-638 - [c1]Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy:
The Community Structure of SAT Formulas. SAT 2012: 410-423
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
