Jesús Giráldez-Cru

Available identifiers

zbMath Open giraldez-cru.jesusMaRDI QIDQ309917

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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