Biased initialization in random walk algorithms for k -SAT: a generalization of Schöning's method

Uložené v:
Podrobná bibliografia
Vydané v:International journal of parallel, emergent and distributed systems s. 1 - 21
Hlavní autori: Ghosh, Subhas Kumar, Vittamsetti, Vijay Monic
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: 04.07.2025
ISSN:1744-5760, 1744-5779
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
ISSN:1744-5760
1744-5779
DOI:10.1080/17445760.2025.2527715