人工知能学会全国大会論文集
第28回全国大会(2014)
セッションID: 1D5-OS-11b-6in
会議情報

SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用
*宋 剛秀Daniel Le BerreStéphanie Roussel番原 睦則田村 直之
著者情報
会議録・要旨集 フリー

詳細
抄録

近年のSAT技術の進歩に伴い,SAT型制約プログラミングシステムが成功をおさ めいる.しかし従来のシステムではSATソルバーとの通信手段がCNFファイルや 基本的なAPIに限定されており,SATソルバーとの密接な連携が困難であった. 本研究ではSATソルバーと密に結合された制約プログラミングシステムScarabの提案を行う.またハミルトン閉路問題への応用を示し,その有効性の評価を行う.

著者関連情報
© 2014 一般社団法人 人工知能学会
前の記事 次の記事
feedback
Top