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