第26回 (2012)
セッションID: 1E3-OS-4-1
会議情報
主催: 社団法人 人工知能学会
会議名: 2012年度人工知能学会全国大会（第26回）
回次: 26
開催地: 山口県山口市 山口県教育会館等
開催日: 2012/06/12 - 2012/06/15
制約充足問題のSAT符号化を用いたパッキング配列の構成
詳細
主催: 社団法人 人工知能学会
会議名: 2012年度人工知能学会全国大会（第26回）
回次: 26
開催地: 山口県山口市 山口県教育会館等
開催日: 2012/06/12 - 2012/06/15
近年，命題論理の充足可能性判定問題(SAT)を非常に高速に解くことが可能な SATソルバーが実現され，SAT技術を多分野に応用する研究が急速に拡大してい る．本研究では，組合せデザイン分野の問題の一つであるパッキング配列構成 問題に対して，制約充足問題としての定式化およびSAT符号化を用いた解法を提 案し，その有効性を検証する．
