05月12日(Mon) 17:20～19:00 D会場(48人-ひめぎんホール 第3会議室)
| 時間 | 17:15～17:30 |
|---|---|
| 題目 | 1D5-OS-11b-1 高速SATソルバーZENN及びその高速化手法 |
| 著者 |
早田 翔(九州大学システム情報科学府情報学専攻) 安本 猛() 越村 三幸(九州大学大学院システム情報科学研究院情報学部門) 藤田 博(九州大学大学院システム情報科学研究院情報学部門) 長谷川 隆三(九州大学大学院システム情報科学研究院情報学部門) |
| 論文 | PDFファイル |
| 時間 | 17:30～17:45 |
|---|---|
| 題目 | 1D5-OS-11b-2in CDCL ソルバーのための軽量動的包摂検査 |
| 著者 |
杉本 拓也(山梨大学大学院医学工学総合教育部コンピュータ•メディア工学専攻) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |
| 時間 | 18:00～18:15 |
|---|---|
| 題目 | 1D5-OS-11b-4in 大規模SAT問題の求解のための緩和解法の検討と提案 |
| 著者 |
三神 直彬(山梨大学工学部コンピュータ・メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |
| 時間 | 18:15～18:30 |
|---|---|
| 題目 | 1D5-OS-11b-5in フーリエ変換を用いた命題論理式の充足可能性に関する考察ー第2報ー |
| 著者 |
宮城 智輝(山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻) 山本 泰生(山梨大学大学院医学工学総合研究部) 岩沼 宏治(山梨大学大学院医学工学総合研究部コンピュータ・メディア工学専攻担当) |
| 論文 | PDFファイル |
| 時間 | 18:45～19:00 |
|---|---|
| 題目 | 1D5-OS-11b-7 登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法 |
| 著者 |
佐古田 淳史(神戸大学大学院システム情報学研究科) 宋 剛秀(神戸大学 情報基盤センター) 番原 睦則(神戸大学 情報基盤センター) 田村 直之(神戸大学 情報基盤センター) |
| 論文 | PDFファイル |
| 題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
|---|---|
| 著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |