Jesús Giráldez-Cru

Available identifiers

zbMath Open giraldez-cru.jesusMaRDI QIDQ309917

List of research outcomes

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	2024-03-27	Paper
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem	2022-08-02	Paper
Popularity-similarity random SAT formulas	2021-11-02	Paper
Community Structure in Industrial SAT Instances	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	2016-09-07	Paper
Using Community Structure to Detect Relevant Learnt Clauses	2015-11-20	Paper
The Fractal Dimension of SAT Formulas	2014-09-26	Paper
The Community Structure of SAT Formulas	2013-08-12	Paper

Research outcomes over time

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