第28回 (2014)
セッションID: 1D4-OS-11a-4
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
基数制約のSAT符号化を用いたMaxSATソルバーの試作
詳細
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
重み付きMaxSAT問題を解くQwMaxSATの実装法とその評価を述べる． QwMaxSATは重み無しMaxSAT問題用のQMaxSATを拡張したもので， 基数制約のSAT符号化とSATソルバーを組合わせて実装されている． 重み付きMaxSAT問題では，巨大基数を扱うのでそのSAT符号化も巨大になる． 幾つかのSAT符号化による比較実験により，問題に適した符号化を明らかにする．
