Improving WalkSAT for Random 3-SAT Problems

Huimin Fu 0002, Yang Xu 0001, Shuwei Chen, Jun Liu 0001. Improving WalkSAT for Random 3-SAT Problems. J. UCS, 26(2):220-243, 2020. [doi]

Abstract

Abstract is missing.