Ilario Bonacina

UPC Universitat Politecnica de Catalunya

1 paper in the IJCAI proceedings

IJCAI 2024

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

with Maria Luisa Bonet, Jordi Levy

doi:10.24963/ijcai.2024/947

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings