计算机应用研究2022，Vol.39Issue(10)：3061-3064,3077,5.DOI:10.19734/j.issn.1001-3695.2022.03.0098
基于树宽的警示传播算法收敛性分析
Convergence analysis of warning propagation algorithm based on tree width
摘要
关键词
警示传播算法/收敛性/树宽/命题公式/可满足性问题分类
信息技术与安全科学引用本文复制引用
谢志新,王晓峰,于卓,曹泽轩,吴宇翔,莫淳惠..基于树宽的警示传播算法收敛性分析[J].计算机应用研究,2022,39(10):3061-3064,3077,5.基金项目
国家自然科学基金资助项目(62062001,61762019,61862051,61962002) （62062001,61762019,61862051,61962002）
宁夏自然科学基金资助项目(2020AAC03214,2020AAC03219,2019AAC03120,2019AAC03119) （2020AAC03214,2020AAC03219,2019AAC03120,2019AAC03119）
北方民族大学重大专项资助项目(ZDZX201901) （ZDZX201901）
北方民族大学研究生创新项目(YCX22197) （YCX22197）
