06月12日(Tue) 15:30〜20:00 E会場(-山口県教育会館／第四研修室(72))
| 演題番号 | 1E3-OS-4-1 |
|---|---|
| 題目 | 制約充足問題のSAT符号化を用いたパッキング配列の構成 |
| 著者 | 則武 治樹(神戸大学大学院システム情報学研究科) 番原 睦則(神戸大学 情報基盤センター) 田村 直之(神戸大学 情報基盤センター) 井上 克巳(国立情報学研究所) |
| 時間 | 06月12日(Tue) 15:30〜15:50 |
| 概要 | 近年，命題論理の充足可能性判定問題(SAT)を非常に高速に解くことが可能な SATソルバーが実現され，SAT技術を多分野に応用する研究が急速に拡大してい る．本研究では，組合せデザイン分野の問題の一つであるパッキング配列構成 問題に対して，制約充足問題としての定式化およびSAT符号化を用いた解法を提 案し，その有効性を検証する． |
| 論文 | PDFファイル |