牛进、王晓峰、林青文
北方民族大学 计算机科学与工程学院,银川750021
可满足性问题 命题公式 结构熵 警示传播算法 收敛性
国家自然科学基金资助项目国家自然科学基金资助项目国家自然科学基金资助项目国家自然科学基金资助项目北方民族大学重大专项资助项目宁夏自然科学基金资助项目宁夏自然科学基金资助项目宁夏自然科学基金资助项目北方民族大学校级科研一般项目
61462001617620196186205161962002ZDZX201901NZ171112019AAC031202019AAC031192019XYZJK05
2021
10.19734/j.issn.1001-3695.2020.03.0053