SLS Algorithm for Solving Equilibrium Regular(k,2r)-CNF Formula
LI Zi-qi, XU Dao-yun
Computer and Modernization . 2019, (01): 1 .  DOI: 10.3969/j.issn.1006-2475.2019.01.001