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

Ilario Bonacina, Maria Luisa Bonet, Jordi Levy

Browse the full IJCAI paper archive.