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

Saved in:
Bibliographic Details
Published in:International journal of parallel, emergent and distributed systems pp. 1 - 21
Main Authors: Ghosh, Subhas Kumar, Vittamsetti, Vijay Monic
Format: Journal Article
Language:English
Published: 04.07.2025
ISSN:1744-5760, 1744-5779
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISSN:1744-5760
1744-5779
DOI:10.1080/17445760.2025.2527715