06月05日(Wed) 18:00〜20:20 E会場(-国際会議場204号室)
演題番号 | 2E5-OS-09b-1 |
---|---|
題目 | 正方形詰込み問題の制約モデルとSAT符号化を用いた解法 |
著者 | 佐古田 淳史(神戸大学大学院システム情報学研究科) 宋 剛秀(神戸大学 情報基盤センター) 番原 睦則(神戸大学 情報基盤センター) 田村 直之(神戸大学 情報基盤センター) |
時間 | 06月05日(Wed) 18:00〜18:20 |
概要 | 近年,命題論理の充足可能性判定問題(SAT)を非常に高速に解くことが可能なSATソルバーが実現され,SAT技術を多分野に応用する研究が急速に拡大している.本研究では,詰込み問題の一つである正方形詰込み問題に対して,制約充足問題としての定式化及びSAT符号化を用いた解法を提案し,その有効性を検証する. |
論文 | PDFファイル |