并行计算：提高sat问题求解效率的有效方法

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