%0 Journal Article
%T 并行计算：提高sat问题求解效率的有效方法
%A 金人超？
%A 黄文奇？
%J 软件学报
%P 398-400
%D 2000
%X 基于拟物拟人思想的solar算法是一个求解sat问题的快速算法.实验和理论分析表明,solar算法具有易并行化的特性.将solar算法并行化可大幅度地提高求解sat问题的效率.
%K 合取范式
%K 可满足性
%K 拟物法
%K 拟人法
%K 并行计算.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000317&flag=1