05月23日(Tue) 15:50～17:30 M会場(ウインクあいち-10F 1005会議室)
| 時間 | 15:50～16:10 |
|---|---|
| 題目 | 1M2-OS-02b-1 研究室配属問題のCSP符号化手法の検討 |
| 著者 |
藤井 樹(山梨大学工学部コンピュータ理工学科) 伊藤 靖展(旧山梨大学工学部コンピュータ理工学科所属) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |
| 時間 | 16:10～16:30 |
|---|---|
| 題目 | 1M2-OS-02b-2 Boost SAT solver with hybrid branching heuristic |
| 著者 |
ムン ソンス(東京大学) 稲葉 真理(東京大学 情報理工学系研究科 創造情報学専攻) |
| 論文 | PDFファイル |
| 時間 | 16:30～16:50 |
|---|---|
| 題目 | 1M2-OS-02b-3 GPGPUによるMaxSATオラクルを用いたSATソルバの試作 |
| 著者 |
山口 順也(東京工業大学 工学部 情報工学科) Tourret Sophie(国立情報学研究所) 井上 克巳(国立情報学研究所／東京工業大学) |
| 論文 | PDFファイル |
| 時間 | 16:50～17:10 |
|---|---|
| 題目 | 1M2-OS-02b-4 解集合プログラミングによるソフトウェアテストケースの生成 |
| 著者 |
小俣 仁美(東京工業大学情報理工学院情報工学系) 井上 克巳(国立情報学研究所／東京工業大学) |
| 論文 | PDFファイル |
| 時間 | 17:10～17:30 |
|---|---|
| 題目 | 1M2-OS-02b-5 CDCL SATソルバにおける貪欲論理制約伝播 |
| 著者 |
楢崎 修二(長崎大学 大学院 工学研究科) |
| 論文 | PDFファイル |