Biased initialization in random walk algorithms for k -SAT: a generalization of Schöning's method - Ghosh, Subhas Kumar; Vittamsetti, Vijay Monic (International journal of parallel, emergent and distributed systems, 2025)