DaSCI
X-twitter Linkedin Instagram Tiktok Facebook Youtube
InicioPersonalDirectorioJesús Giráldez Crú
Ampliar imagen

Jesús Giráldez Crú

Publicaciones

A framework of opinion dynamics using fuzzy linguistic 2-tuples

Knowledge Based Systems

  • 2021
  • journal-article
On the Temperature of SAT Formulas

Artificial Intelligence Research and Development

  • 2021
  • book-chapter
Popularity-similarity random SAT formulas

Artificial Intelligence

  • 2021
  • journal-article
2-tuple fuzzy linguistic perceptions and probabilistic awareness-based heuristics for modeling consumer purchase behaviors
AUTHORS: Giraldez-Cru, J.; Chica, M.; Cordon, O.; Herrera, F.

IEEE International Conference on Fuzzy Systems

  • 2020
  • conference-paper
Modeling agent‐based consumers decision‐making with 2‐tuple fuzzy linguistic perceptions

International Journal of Intelligent Systems

  • 2020
  • journal-article
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems

Frontiers in Artificial Intelligence and Applications

  • 2019
  • journal-article
Community Structure in Industrial SAT Instances

Journal of Artificial Intelligence Research

  • 2019
  • journal-article
In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving

Theory and Applications of Satisfiability Testing – SAT 2018

  • 2018
  • book-chapter
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks

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

  • 2018
  • journal-article
Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers

Theory and Applications of Satisfiability Testing – SAT 2018

  • 2018
  • book-chapter
Beyond the structure of SAT formulas

Constraints

  • 2017
  • journal-article
In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving

Proceedings of the 8th Pragmatics of Constraint Reasoning Workshop (PoCR'17)

  • 2017
  • conference-paper
Iterative AWC for Distributed SAT

Frontiers in Artificial Intelligence and Applications

  • 2017
  • journal-article
Locality in Random SAT Instances

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

  • 2017
  • journal-article
On the Community Structure of Bounded Model Checking SAT Problems

Theory and Applications of Satisfiability Testing – SAT 2017

  • 2017
  • book-chapter
Structure features for SAT instances classification

Journal of Applied Logic

  • 2017
  • journal-article
Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers

Proceedings of the 8th Pragmatics of Constraint Reasoning Workshop (PoCR'17)

  • 2017
  • conference-paper
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems

Proceedings of the 7th Pragmatics of SAT Workshop (POS'16)

  • 2016
  • conference-paper
ABT with Clause Learning for Distributed SAT

Advances in Artificial Intelligence

  • 2016
  • book-chapter
Connecting ABT with a SAT Solver

Frontiers in Artificial Intelligence and Applications

  • 2016
  • journal-article
Generating SAT instances with community structure

Artificial Intelligence

  • 2016
  • journal-article
Link Prediction in Evolutionary Graphs

Frontiers in Artificial Intelligence and Applications

  • 2016
  • journal-article
Pseudo-Industrial Random SAT Generators

Proceedings of the 1st Graph Structure and Satisfiability Testing Workshop (STRUCTSAT'16)

  • 2016
  • conference-paper
A modularity-based random SAT instances generator
AUTHORS: Giráldez-Cru, J.; Levy, J.

IJCAI International Joint Conference on Artificial Intelligence

  • 2015
  • conference-paper
On the Classification of Industrial SAT Families

Frontiers in Artificial Intelligence and Applications

  • 2015
  • journal-article
Using Community Structure to Detect Relevant Learnt Clauses

Lecture Notes in Computer Science

  • 2015
  • book-chapter
The Fractal Dimension of SAT Formulas

Automated Reasoning

  • 2014
  • book-chapter
Agent-mediated shared conceptualizations in tagging services

Multimedia Tools and Applications

  • 2013
  • journal-article
Conceptual-based reasoning in Mobile Web 2.0 by means multiagent systems: Knowledge engineering notes
AUTHORS: Aranda-Corral, G.A.; Borrego-Díaz, J.; Giráldez-Cru, J.

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

  • 2012
  • conference-paper
On the Complexity of Shared Conceptualizations

Artificial Intelligence and Soft Computing

  • 2012
  • book-chapter
The Community Structure of SAT Formulas

Theory and Applications of Satisfiability Testing – SAT 2012

  • 2012
  • book-chapter
Contacto
jgiraldez@us.es
Google Scholar
ORCID
R.ID