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ファイル |