| 注册
首页|期刊导航|计算机应用研究|一种改进的警示传播算法求解Max-SAT问题

一种改进的警示传播算法求解Max-SAT问题

吴宇翔 王晓峰 丁红胜 于卓

计算机应用研究2022,Vol.39Issue(8):2290-2294,5.
计算机应用研究2022,Vol.39Issue(8):2290-2294,5.DOI:10.19734/j.issn.1001-3695.2022.01.0023

一种改进的警示传播算法求解Max-SAT问题

Improved warning propagation algorithm for solving Max-SAT problem

吴宇翔 1王晓峰 1丁红胜 2于卓1

作者信息

  • 1. 北方民族大学计算机科学与工程学院,银川750021
  • 2. 北方民族大学图像图形智能处理国家民委重点实验室,银川750021
  • 折叠

摘要

关键词

可满足性问题/最大可满足性问题/警示传播算法/局部搜索算法

分类

信息技术与安全科学

引用本文复制引用

吴宇翔,王晓峰,丁红胜,于卓..一种改进的警示传播算法求解Max-SAT问题[J].计算机应用研究,2022,39(8):2290-2294,5.

基金项目

国家自然科学基金资助项目(62062001) (62062001)

宁夏自然科学基金资助项目(2020AAC03214) (2020AAC03214)

北方民族大学研究生创新项目(YCX21086) (YCX21086)

计算机应用研究

OA北大核心CSCDCSTPCD

1001-3695

访问量0
|
下载量0
段落导航相关论文