求解加權(quán)偏MaxSAT問題的通用子句加權(quán)方法
計(jì)算機(jī)學(xué)報(bào)
頁數(shù)： 14 2024-04-09
摘要： 最大可滿足性問題(Maximum Satisfiability Problem,MaxSAT)是著名的可滿足性問題(Satisfiability Problem,SAT)的優(yōu)化形式,也是一個(gè)經(jīng)典的NP難組合優(yōu)化問題.加權(quán)偏MaxSAT (Weighted Partial MaxSAT,WPMS)是最一般的一類MaxSAT問題,其中包含了必須要滿足的硬子句,對(duì)應(yīng)了優(yōu)化問題中的約束... （共14頁）
APP 