Semi-Algebraic Proof Systems for QBF

MaRDI QIDQ7202828arXivFDO

Authors Olaf Beyersdorff, Ilario Bonacina, Kaspar Kasche, Meena Mahajan, Luc Nicolas Spachmann

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Complexity of proofs (03F20)

arXiv classification

cs.LO

This page was built for publication: Semi-Algebraic Proof Systems for QBF

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7202828)