Parallel ant colony algorithm for weighted MAX-SAT
并行蚁群算法求解加权MAX-SAT*

For making the algorithm more direct control, the algorithm more efficient,this paper weighted the characterisics of the MAX-SAT, simplified discrete approach to re-model of ant colony algorithm and proposed the concept of probability values, replaced the traditional elements of pheromone ant colony algorithm, finally made parallel improvements of the algorithm. Experimental results show that the new algorithm is more parallel efficiency,reduces the search time significantly, and achieves good speedup and efficiency.