Semi-Algebraic Proof Systems for QBF

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Beyersdorff, Olaf, Bonacina, Ilario, Kasche, Kaspar, Mahajan, Meena, Spachmann, Luc Nicolas
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Computational Complexity Logic 03F20, 03D15
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2511.08050