Giráldez-Cru, Jesús

6 publications

IJCAI 2023 Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract) Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
JAIR 2022 Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
JAIR 2019 Community Structure in Industrial SAT Instances Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
IJCAI 2018 Seeking Practical CDCL Insights from Theoretical SAT Benchmarks Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon
IJCAI 2017 Locality in Random SAT Instances Jesús Giráldez-Cru, Jordi Levy
IJCAI 2015 A Modularity-Based Random SAT Instances Generator Jesús Giráldez-Cru, Jordi Levy