所属栏目：数学
【日期】：2024-04-09 【关键词】：最大可满足性问题;局部搜索;子句加权技术;历史信息 【摘要】：最大可满足性问题(Maximum Satisfiability Problem,MaxSAT)是著名的可满足性问题(Satisfiability Problem,SAT)的优化形式,也是一个经典的NP难组合优化问题.加权偏MaxSAT (Weighted Partial MaxSAT,WPMS)是最一般的一类MaxSAT问题,其中包含了必须要满足的硬子句,对应了优化问题中的约束...
知识贝壳
知识贝壳