Bonacina, Ilario

2 publications

JAIR 2024 Weighted, Circular and Semi-Algebraic Proofs Ilario Bonacina, Maria Luisa Bonet, Jordi Levy

IJCAI 2024 Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint) Ilario Bonacina, Maria Luisa Bonet, Jordi Levy