计算机工程与科学2021，Vol.43Issue(11)：2056-2061,6.DOI:10.3969/j.issn.1007-130X.2021.11.020
一种求解命题公式骨干集的警示传播算法
A warning propagation algorithm for solving proposition formula backbones
摘要
关键词
警示传播算法/SAT问题/因子图/骨干集分类
信息技术与安全科学引用本文复制引用
王帅,王晓峰,梁田,李志..一种求解命题公式骨干集的警示传播算法[J].计算机工程与科学,2021,43(11):2056-2061,6.基金项目
国家自然科学基金(62062001,61762019,61862051,61962002) （62062001,61762019,61862051,61962002）
北方民族大学重大专项(ZDZX201901) （ZDZX201901）
宁夏自然科学基金(2020AAC03214,NZ17111,2019AAC03120,2019AAC03119) （2020AAC03214,NZ17111,2019AAC03120,2019AAC03119）
北方民族大学校级科研一般项目(2019XYZJK05) （2019XYZJK05）
