求解加權(quán)偏MaxSAT問題的通用子句加權(quán)方法

摘要： 最大可滿足性問題(Maximum Satisfiability Problem,MaxSAT)是著名的可滿足性問題(Satisfiability Problem,SAT)的優(yōu)化形式,也是一個(gè)經(jīng)典的NP難組合優(yōu)化問題.加權(quán)偏MaxSAT (Weighted Partial MaxSAT,WPMS)是最一般的一類MaxSAT問題,其中包含了必須要滿足的硬子句,對應(yīng)了優(yōu)化問題中的約束...