On a class of instance of CNF,which constitutes hard-SAT problem,a further improvement is proposed which combines the RCNF algorithm with parallel evolutionary algorithm.

• 概率推导和实验数值均表明,RCNF具有良好的近似比和稳定的性能。 在构成难可满足问题的CNF实例上,将新算法与演化算法结合,进一步提出扩展算法E-RCNF。