| 最大可满足性问题的算法研究综述 |
| |
| 引用本文： | 何琨,郑迥之. 最大可满足性问题的算法研究综述[J]. 华中科技大学学报(自然科学版), 2022, 50(2): 82-95. DOI: 10.13245/j.hust.220214 |
| |
| 作者姓名： | 何琨 郑迥之 |
| |
| 作者单位： | 华中科技大学计算机科学与技术学院,湖北 武汉 430074 |
| |
| 摘 要： | 最大可满足性问题(maximum satisfiability,MaxSAT)是一个著名的、具有NP难度的组合优化问题.本研究总结了近年来求解最大可满足性问题的各类算法.首先,给出了最大可满足性问题的定义;然后,基于完备算法和非完备算法两个类型,对求解MaxSAT的各类算法进行了综述.其中完备算法包括分支定界算法和迭代...
|
| 关 键 词： | 最大可满足性问题 NP难度 组合优化 完备算法 非完备算法 |
Survey on algorithms for the maximum satisfiability problem |
| |
| HE Kun,ZHENG Jiongzhi. Survey on algorithms for the maximum satisfiability problem[J]. JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE, 2022, 50(2): 82-95. DOI: 10.13245/j.hust.220214 |
| |
| Authors: | HE Kun ZHENG Jiongzhi |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
