抄録
F-028
MaxSATの一拡張について
○越村三幸・廖　暁鵑・藤田　博・長谷川隆三（九大）
MaxSATは，SATを最適化問題向けに拡張したもので，SATが全ての節を満たす変数の値割当を求めるのに対し，MaxSATはできるだけ多くの節を満たす変数の値割当を求める．Weighted MaxSATは，各節に正整数で重みをつけたもので，満たされる節の重みの和が最大になるような変数の値割当を求めることが目的となる．本論文では，重みとして負整数も許すMaxSATの拡張を考える．そのような拡張MaxSATの問題を通常のMaxSATソルバーを用いて解く手法を提案する．