【摘要】 基于拟物拟人思想的 Solar算法是一个求解 SAT问题的快速算法 .实验和理论分析表明 ,Solar算法具有易并行化的特性 .将 Solar算法并行化可大幅度地提高求解 SAT问题的效率 .更多还原

【Abstract】 Based on the thought of quasiphysical and quasisociological, the Solar algorithm is an efficient algorithm for solving SAT problems. It is proved by the theoretical analysis and experimental results that the algorithm is naturally suitable for parallel computing. The efficiency of solving SAT problems can be greatly improved by taking a simple method that parallelizes the Solar algorithm.更多还原