Jordi Levy

3 papers in the IJCAI proceedings

IJCAI 2024

Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint)

with Ilario Bonacina, Maria Luisa Bonet

doi:10.24963/ijcai.2024/947

Details PDF

IJCAI 2021

Reducing SAT to Max2SAT

with Carlos Ansótegui

doi:10.24963/ijcai.2021/189

Details PDF

IJCAI 2017

Locality in Random SAT Instances

with Jesús Giráldez-Cru

doi:10.24963/ijcai.2017/89

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings