Jun Gu;Xiaofei Huang;Bin Du
-;-;-
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers