第27回 (2013)
セッションID: 2E5-OS-09b-1
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2013年度人工知能学会全国大会（第27回）
回次: 27
開催地: 富山県富山市 富山国際会議場
開催日: 2013/06/04 - 2013/06/07
正方形詰込み問題の制約モデルとSAT符号化を用いた解法
詳細
主催: 一般社団法人 人工知能学会
会議名: 2013年度人工知能学会全国大会（第27回）
回次: 27
開催地: 富山県富山市 富山国際会議場
開催日: 2013/06/04 - 2013/06/07
近年，命題論理の充足可能性判定問題(SAT)を非常に高速に解くことが可能なSATソルバーが実現され，SAT技術を多分野に応用する研究が急速に拡大している．本研究では，詰込み問題の一つである正方形詰込み問題に対して，制約充足問題としての定式化及びSAT符号化を用いた解法を提案し，その有効性を検証する．
