第28回 (2014)
セッションID: 1D5-OS-11b-7
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法
詳細
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
登録後コース時間割問題は，与えられた講義の集合に対して，制約をできるだけ満たすように時間枠を割当てる組合せ最適化問題である．一方，命題論理の充足可能性判定問題(SAT)を高速に解くことが可能なSATソルバーが近年実現されており，多分野への応用が活発に研究されている．本研究では，登録後コース時間割問題に対して，基数制約を用いた制約モデル及びSATソルバーを用いた解法を提案し，その有効性を検証する．
