Semi-Algebraic Proof Systems for QBF.

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

Browse the full SAT paper archive.