Jesús Giráldez-Cru

3 papers in the IJCAI proceedings

IJCAI 2023

Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract)

with Miquel Bofill, Jordi Coll, Marc Garcia, Gilles Pesant, Josep Suy, Mateu Villaret

doi:10.24963/ijcai.2023/768

Details PDF

IJCAI 2018

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks

with Jan Elffers, Stephan Gocht, Jakob Nordström, Laurent Simon

doi:10.24963/ijcai.2018/181

Details PDF

IJCAI 2017

Locality in Random SAT Instances

with Jordi Levy

doi:10.24963/ijcai.2017/89

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings