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

Uloženo v:
Podrobná bibliografie
Vydáno v:International journal of parallel, emergent and distributed systems s. 1 - 21
Hlavní autoři: Ghosh, Subhas Kumar, Vittamsetti, Vijay Monic
Médium: Journal Article
Jazyk:angličtina
Vydáno: 04.07.2025
ISSN:1744-5760, 1744-5779
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
ISSN:1744-5760
1744-5779
DOI:10.1080/17445760.2025.2527715