Jesús Giráldez-Cru

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the performance of deep generative models of realistic SAT instances	2024-07-12	Paper
Analyzing the extremization of opinions in a general framework of bounded confidence and repulsion Information Sciences	2024-03-27	Paper
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem Journal of Artificial Intelligence Research	2022-08-02	Paper
Popularity-similarity random SAT formulas Artificial Intelligence	2021-11-02	Paper
Community structure in industrial SAT instances Journal of Artificial Intelligence Research	2019-10-11	Paper
Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers	2018-08-10	Paper
In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving	2018-08-10	Paper
On the community structure of bounded model checking SAT problems	2017-11-15	Paper
Generating SAT instances with community structure Artificial Intelligence	2016-09-07	Paper
Using Community Structure to Detect Relevant Learnt Clauses Lecture Notes in Computer Science	2015-11-20	Paper
The fractal dimension of SAT formulas Automated Reasoning	2014-09-26	Paper
The fractal dimension of SAT formulas Automated Reasoning	2014-09-26	Paper
The community structure of SAT formulas Theory and Applications of Satisfiability Testing – SAT 2012	2013-08-12	Paper

Research outcomes over time

This page was built for person: Jesús Giráldez-Cru