福建电脑2018，Vol.34Issue(1)：65,126,2.DOI:10.16707/j.cnki.fjpc.2018.01.028
一种可满足问题求解算法
许有军 1李娟 1崔金宝1
作者信息
- 1. 大庆师范学院 计算机科学与信息技术学院 黑龙江 大庆163712
- 折叠
引用本文复制引用
许有军,李娟,崔金宝..一种可满足问题求解算法[J].福建电脑,2018,34(1):65,126,2.基金项目
大庆师范学院科学研究基金项目(12ZR08)则可以有效的降低子句集的原子数和子句数,因而可以提高算法的效率. （12ZR08）
