For random 3-SAT test instances,the numeral experiment indicate that DS_BPSO has the advantage over BPSO algorithm.

• 对随机3-SAT测试实例的数值计算表明:该算法的性能远远超过BPSO算法。