第25回 (2011)
セッションID: 3J1-OS7-3
会議情報
主催: 社団法人 人工知能学会
会議名: 2011年度人工知能学会全国大会（第25回）
回次: 25
開催地: 岩手県岩手市 アイーナ
開催日: 2011/06/01 - 2011/06/03
QMaxSAT: Q-dai MaxSAT ソルバー
詳細
主催: 社団法人 人工知能学会
会議名: 2011年度人工知能学会全国大会（第25回）
回次: 25
開催地: 岩手県岩手市 アイーナ
開催日: 2011/06/01 - 2011/06/03
SAT問題が充足不能の場合，どの程度充足不能なのかに答えるのがMax-SATである． 本発表では，厳密解を求めるソルバーQMaxSATの実装法の概説を行う． QMaxSATは，系統的SATソルバーを繰り返し適用してMax-SAT解を求める． 幾つかの版について，その性能を実験的に比較する．
