no code implementations • 30 Jul 2020 • Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Sutcliffe Geoff
SelectNTS is an improved probability selecting based local search algorithm for SAT problem.
Variable Selection