第28回 (2014)
セッションID: 1D5-OS-11b-2in
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
CDCL ソルバーのための軽量動的包摂検査
詳細
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
CDCLソルバーの求解速度向上を目的として，学習節生成時に包摂検査を動的に行う手法を提案する．我々の手法は Hamadi らによる動的包摂検査の拡張であり，融合法における親節と子節との間の包摂関係だけでなく，祖先節との包摂関係を高速に検査可能である．評価実験の結果は，我々の提案手法により，性能の改善が得られることを示している．
