第28回 (2014)
セッションID: 1D5-OS-11b-6in
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用
詳細
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
近年のSAT技術の進歩に伴い，SAT型制約プログラミングシステムが成功をおさ めいる．しかし従来のシステムではSATソルバーとの通信手段がCNFファイルや 基本的なAPIに限定されており，SATソルバーとの密接な連携が困難であった． 本研究ではSATソルバーと密に結合された制約プログラミングシステムScarabの提案を行う．またハミルトン閉路問題への応用を示し，その有効性の評価を行う．
