ByNobleID
    SLS算法求解平衡正则(k,2r)-CNF公式 | NobleID