%0 Journal Article
%T Parallel Computing:An Effective Method for Improving the Efficiency of Solving SAT Problems<br>并行计算：提高SAT问题求解效率的有效方法
%A JIN Ren-chao
%A JIN Ren-chao
%A <br>金人超
%A 黄文奇
%J 软件学报
%D 2000
%I 
%X 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.
%K CNF (conjunctive normal formula)
%K satisfiability
%K quasiphysical
%K quasisociological
%K parallel computing<br>合取范式
%K 可满足性
%K 拟物法
%K 拟人法
%K 并行计算.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=F6F79BD623E52BB5&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=38B194292C032A66&sid=4F0B2F798E08B761&eid=8ACD9060100C26F1&journal_id=1000-9825&journal_name=软件学报&referenced_num=4&reference_num=6