Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment

Huimin Fu 0002, Wuyang Zhang, Guanfeng Wu, Yang Xu 0001, Jun Liu 0001. Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment. Computational Intelligence, 37(4):1706-1744, 2021. [doi]

Abstract

Abstract is missing.