06月12日(Tue) 15:30～20:00 E会場(-山口県教育会館／第四研修室(72))
| 時間 | 15:30～15:50 |
|---|---|
| 題目 | 1E3-OS-4-1 制約充足問題のSAT符号化を用いたパッキング配列の構成 |
| 著者 |
則武 治樹(神戸大学大学院システム情報学研究科) 番原 睦則(神戸大学 情報基盤センター) 田村 直之(神戸大学 情報基盤センター) 井上 克巳(国立情報学研究所) |
| 論文 | PDFファイル |
| 時間 | 15:50～16:10 |
|---|---|
| 題目 | 1E3-OS-4-2 ハミルトン閉路問題のSAT符号化に関する研究 |
| 著者 |
船越 泰輔(神戸大学大学院システム情報学研究科情報科学専攻) 番原 睦則(神戸大学 情報基盤センター) 田村 直之(神戸大学 情報基盤センター) |
| 論文 | PDFファイル |
| 時間 | 16:30～16:50 |
|---|---|
| 題目 | 1E3-OS-4-4 学習節評価尺度LBDに基づく並列SATソルバーの提案 |
| 著者 |
大橋 弘幸(国立大学法人 山梨大学 工学部 コンピュータメディア工学科 Gコース) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |
| 時間 | 16:50～17:10 |
|---|---|
| 題目 | 1E3-OS-4-5 時系列信号処理に基づくSAT解法:Wave-SATソルバの実現に向けて |
| 著者 |
宮城 智輝(コンピュータ・メディア工学科) 山本 泰生(山梨大学大学院医学工学総合研究部) 岩沼 宏治(山梨大学大学院医学工学総合研究部コンピュータ・メディア工学専攻担当) |
| 論文 | PDFファイル |
| 時間 | 17:30～17:50 |
|---|---|
| 題目 | 1E3-OS-4-6 効率的なSMTソルバの実現を目指した等号組み合わせの削減 |
| 著者 |
福田 寿志(山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻) 岩沼 宏治(山梨大学大学院医学工学総合研究部コンピュータ・メディア工学専攻担当) 山本 泰生(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |
| 時間 | 18:10～18:30 |
|---|---|
| 題目 | 1E3-OS-4-8 DeQED: 双対変数の値を交換する分散制約最適化アルゴリズム |
| 著者 |
波多野 大督(神戸大学大学院海事科学研究科) 平山 勝敏(神戸大学大学院海事科学研究科) |
| 論文 | PDFファイル |
| 時間 | 18:30～18:50 |
|---|---|
| 題目 | 1E3-OS-4-9 節集合分割型分散SATに対する非同期バックトラッキングアルゴリズム |
| 著者 |
下牧 昌太郎(神戸大学大学院海事科学研究科) 平山 勝敏(神戸大学大学院海事科学研究科) |
| 論文 | PDFファイル |