Satisfiability threshold of the random regular ( s, c, k)-SAT problem

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Frontiers of Computer Science 2022-06, Vol.16 (3), p.163408, Article 163408
Hauptverfasser: MO, Xiaoling, XU, Daoyun, YAN, Kai, ZHANG, Zaijun
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:2095-2228
2095-2236
DOI:10.1007/s11704-022-1741-1