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

Bonacina et al. "Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint)." International Joint Conference on Artificial Intelligence, 2024.

[Bonacina et al. "Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint)." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/bonacina2024ijcai-weighted/)

@inproceedings{bonacina2024ijcai-weighted,
  title     = {{Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint)}},
  author    = {Bonacina, Ilario and Bonet, Maria Luisa and Levy, Jordi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {8475},
  url       = {https://mlanthology.org/ijcai/2024/bonacina2024ijcai-weighted/}
}