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