TY  - RPRT
TI  - Semi-Algebraic Proof Systems for QBF
AU  - Olaf Beyersdorff
AU  - Ilario Bonacina
AU  - Kaspar Kasche
AU  - Meena Mahajan
AU  - Luc Nicolas Spachmann
PY  - 2025
UR  - https://arxiv.org/abs/2511.08050
ID  - 2511.08050
ER  -