$Fast Sampling of Satisfying Assignments from Random $\boldsymbol{k}$-SAT with Applications to Connectivity$

Fast Sampling of Satisfying Assignments from Random $\boldsymbol{k}$-SAT with Applications to Connectivity

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	SIAM journal on discrete mathematics 2024-12, Vol.38 (4), p.2750-2811
Hauptverfasser:	Chen, Zongchen, Galanis, Andreas, Goldberg, Leslie Ann, Guo, Heng, Herrera-Poyatos, Andrés, Mani, Nitya, Moitra, Ankur
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Fast Sampling of Satisfying Assignments from Random \(\boldsymbol{k}\)-SAT with Applications to Connectivity