主催: 人工知能学会
会議名: 第97回 人工知能基本問題研究会
回次: 97
開催地: 別府国際コンベンションセンター
開催日: 2014/03/22 - 2014/03/23
p. 14-
Weighted Partial MaxSAT(WPMS) is a generalization of Satisfiability problem. Many optimization problems can be reduced to WPMS in polynomial time. So it is important to develop MaxSAT solvers. Cardinality constraints plays important role in solving MaxSAT. In this paper, we propose Weighted Totalizer(WTO) and Partial Encording(PE). WTO is based on Totalizer(TO), and use less variables and clauses than TO. PE is a new encording method, which is optimized for particular WPMS problems. Our experimental results show the effectiveness of these methods.