人工知能学会全国大会論文集
第27回全国大会(2013)
セッションID: 2E5-OS-09b-1
会議情報

正方形詰込み問題の制約モデルとSAT符号化を用いた解法
*佐古田 淳史宋 剛秀番原 睦則田村 直之
著者情報
会議録・要旨集 フリー

詳細
抄録

近年,命題論理の充足可能性判定問題(SAT)を非常に高速に解くことが可能なSATソルバーが実現され,SAT技術を多分野に応用する研究が急速に拡大している.本研究では,詰込み問題の一つである正方形詰込み問題に対して,制約充足問題としての定式化及びSAT符号化を用いた解法を提案し,その有効性を検証する.

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