Weighted, Circular and Semi-Algebraic Proofs

Ilario Bonacina, Maria Luisa Bonet, Jordi Levy. Weighted, Circular and Semi-Algebraic Proofs. J. Artif. Intell. Res. (JAIR), 79:447-482, 2024. [doi]

Abstract

Abstract is missing.