主催: 一般社団法人 人工知能学会
会議名: 2015年度人工知能学会全国大会（第29回）
回次: 29
開催地: 北海道函館市 公立はこだて未来大学
開催日: 2015/05/30 - 2015/06/02
神戸大学大学院システム情報学研究科
神戸大学 情報基盤センター
国立情報学研究所
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
制約解集合プログラミング(CASP;Constraint Answer Set Programming)は，解集合プログラミングと制約プログラミングを融合した新しいプログラミングパラダイムである．近年，SAT技術を応用した高速なCASPソルバが開発され，注目を集めている．本研究では，組合せテストケース生成問題に対して，制約充足問題としての定式化およびCASP符号化を提案し，その有効性を検証する．
すでにアカウントをお持ちの場合 サインインはこちら
