计算机应用研究2021，Vol.38Issue(9)：2710-2715,6.DOI:10.19734/j.issn.1001-3695.2021.01.0012
求解多文字可满足SAT问题的置信传播算法
Belief propagation algorithm for solving multi literal satisfiability problem
摘要
关键词
多文字可满足/置信传播算法/WalkSAT算法/可满足问题分类
信息技术与安全科学引用本文复制引用
芦磊,王晓峰,牛鹏飞,刘子琳..求解多文字可满足SAT问题的置信传播算法[J].计算机应用研究,2021,38(9):2710-2715,6.基金项目
国家自然科学基金资助项目(62062001,61762019,61862051,61962002) （62062001,61762019,61862051,61962002）
北方民族大学重大专项(ZDZX201901) （ZDZX201901）
宁夏自然科学基金资助项目(2020AAC03214,2020AAC03219,2019AAC03120,2019AAC03119) （2020AAC03214,2020AAC03219,2019AAC03120,2019AAC03119）
