New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Jain, Sanjay, Peng, Junqiang, Stephan, Frank, Tang, Haoyun, Xiao, Mingyu
Format:	Preprint
Publié:	2026
Sujets:	Data Structures and Algorithms
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/2605.14093