Algorithms for the Diverse-k-SAT problem: the geometry of satisfying assignments

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Austrin, Per, Bercea, Ioana O., Goswami, Mayank, Limaye, Nutan, Srinivasan, Adarsh
Format:	Preprint
Publié:	2024
Sujets:	Computational Complexity 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/2408.03465