06月05日(Wed) 15:00～17:40 E会場(-国際会議場204号室)
| 時間 | 15:00～15:40 |
|---|---|
| 題目 | 2E4-OS-09a-1 (OS招待講演)項書換え系におけるSAT技術 |
| 著者 |
酒井 正彦(名古屋大学 大学院情報科学研究科) |
| 論文 | PDFファイル |
| 時間 | 15:40～16:00 |
|---|---|
| 題目 | 2E4-OS-09a-2 SATソルバーの学習節を考慮した新高速化手法 |
| 著者 |
早田 翔(九州大学システム情報科学府情報学専攻) 長谷川 隆三(九州大学大学院システム情報科学研究院情報学部門) 藤田 博(九州大学大学院システム情報科学研究院情報学部門) 越村 三幸(九州大学大学院システム情報科学研究院情報学部門) |
| 論文 | PDFファイル |
| 時間 | 16:00～16:20 |
|---|---|
| 題目 | 2E4-OS-09a-3 最新SATソルバーへの充足不能コア抽出手法の実装 |
| 著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |
| 時間 | 16:20～16:40 |
|---|---|
| 題目 | 2E4-OS-09a-4 拡張融合法に基づく次世代SATソルバーの試作 |
| 著者 |
森 淳(Growth xPartners) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |
| 時間 | 16:40～17:00 |
|---|---|
| 題目 | 2E4-OS-09a-5 フーリエ変換を用いた命題論理式の充足可能性に関する一考察 |
| 著者 |
宮城 智輝(山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻) 山本 泰生(山梨大学大学院医学工学総合研究部) 岩沼 宏治(山梨大学大学院医学工学総合研究部コンピュータ・メディア工学専攻担当) |
| 論文 | PDFファイル |
| 時間 | 17:00～17:20 |
|---|---|
| 題目 | 2E4-OS-09a-6 A survey of parallel local search for SAT |
| 著者 |
Arbelaez Alejandro(JFLI / University of Tokyo) Codognet Philippe(JFLI-CNRS/UPMC/University of Tokyo) |
| 論文 | PDFファイル |