第25回 (2011)
セッションID: 3J1-OS7-4
会議情報
主催: 社団法人 人工知能学会
会議名: 2011年度人工知能学会全国大会（第25回）
回次: 25
開催地: 岩手県岩手市 アイーナ
開催日: 2011/06/01 - 2011/06/03
基数制約の概念を持つSATソルバの設計と評価
詳細
主催: 社団法人 人工知能学会
会議名: 2011年度人工知能学会全国大会（第25回）
回次: 25
開催地: 岩手県岩手市 アイーナ
開催日: 2011/06/01 - 2011/06/03
実問題から生成される構造的な問題に含まれる基数制約は，真理値のみを扱うSAT ソルバにとってボトルネックとなる．そこで，基数制約を表し高速な伝播が可能な特殊節を加えた拡張CNF を提案する．標準的なSAT ソルバのMiniSat2.0 の推論フェーズと衝突による学習フェーズを改訂し特殊節に対応させ，基数制約を含む時間割作成問題をベンチマークとして従来のMiniSat2.0 との比較実験を行った．
