SLS算法求解平衡正则(k,2r)-CNF公式
李梓齐,许道云
SLS Algorithm for Solving Equilibrium Regular(k,2r)-CNF Formula
LI Zi-qi, XU Dao-yun
计算机与现代化 . 2019, (01): 1 .  DOI: 10.3969/j.issn.1006-2475.2019.01.001