第28回 (2014)
セッションID: 1D5-OS-11b-4in
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
大規模SAT問題の求解のための緩和解法の検討と提案
詳細
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
SATソルバの性能向上に伴い，近年では非常に大規模なSAT問題を取り扱う場合が出てくるようになった．大規模SAT問題の中には，メモリに収まりきらない程巨大なものも存在する．そのようなSAT問題を求解するためには，問題中のどの節を抽出し，部分問題を生成するのかが重要となる．我々はメモリ上限値を超える大規模SAT問題の求解手法を示し，また求解のための効果的な節抽出手法を提案する．
