.png){kind=icon}
返回
DPSLS: an efficient local search algorithm for pure MaxSAT
.png){kind=icon}
PRE
AI
DOI：10.1007/s12083-025-02021-9.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
纯最大满足问题（Pure MaxSAT，简称PureMS）是NP难组合优化问题的一个重要子类，具有广泛的应用，尤其是在经典子集问题中。尽管其在实践中具有重要意义，但针对PureMS的最先进算法很难有效解决大型且困难的实例，这主要归因于其特殊结构的特点。本文开发了一种高效的局部搜索算法DPSLS用于PureMS，该算法包含两个主要思想。首先，我们提出了一种推理初始化过程，充分利用经典单元传播来生成良好的初始点。其次，在搜索过程中设计了一种双目标变量选择策略，其目的是分别有效处理被否定软硬子句。实验结果表明，我们的算法在解的质量方面显著优于最先进算法，在2018-2021年MaxSAT评估中的无权实例中有78.0%、加权实例中有64.5%以及SCP实例中有90.9%取得了更优结果。
Keyword:
MaxSAT
SCP
Pure MaxSAT
Local search
NP-hard
期刊
IF:
2.6
论文数:
2.2K
被引数:
2.9K
机构
引用论文
A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints一种用于具有硬约束和软约束的MAX-SAT问题的两级局部搜索
PREAI
分享收藏
A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver一种用于商业DFT流程的快速测试压缩方法，采用专用纯-MaxSAT求解器
PREAI
分享收藏Improving linear search algorithms with model-based approaches for MaxSAT solving基于模型的方法改进用于MaxSAT求解的线性搜索算法
PREAI
分享收藏Finding and proving the exact ground state of a generalized Ising model by convex optimization and MAX-SAT通过凸优化和max-sat找到并证明广义Ising模型的精确基态.png)
PHYSICAL REVIEW B
OAAI
PHYSICAL REVIEW BIF3.7
OAAI分享收藏
查看更多内容