Parallel Computing:An Effective Method for Improving the Efficiency of Solving SAT Problems
并行计算：提高SAT问题求解效率的有效方法

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.