| 時間 | 08:50～09:10 |
|---|---|
| 題目 | 3J1-OS7-1in 整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化 |
| 著者 |
丹生 智也(神戸大学 大学院工学研究科) 田村 直之(神戸大学 情報基盤センター) 番原 睦則(神戸大学 情報基盤センター) |
| 論文 | PDFファイル |
| 時間 | 09:10～09:30 |
|---|---|
| 題目 | 3J1-OS7-2 SAT符号化を用いた釣合い型不完備ブロック計画の構成 |
| 著者 |
松中 春樹(神戸大学 大学院システム情報学研究科) 丹生 智也(神戸大学 大学院工学研究科) 番原 睦則(神戸大学 情報基盤センター) 田村 直之(神戸大学 情報基盤センター) |
| 論文 | PDFファイル |
| 時間 | 09:30～09:50 |
|---|---|
| 題目 | 3J1-OS7-3 QMaxSAT: Q-dai MaxSAT ソルバー |
| 著者 |
越村 三幸(九州大学大学院システム情報科学研究院情報学部門) 安 宣烨(九州大学大学院システム情報科学府情報学専攻) 藤田 博(九州大学大学院システム情報科学研究院情報学部門) 長谷川 隆三(九州大学大学院システム情報科学研究院情報学部門) |
| 論文 | PDFファイル |
| 時間 | 09:50～10:10 |
|---|---|
| 題目 | 3J1-OS7-4 基数制約の概念を持つSATソルバの設計と評価 |
| 著者 |
山根 裕二(早稲田大学理工学術院情報理工学科) 徐 暁雋(早稲田大学理工学術院情報理工学科) 上田 和紀(早稲田大学理工学術院情報理工学科) |
| 論文 | PDFファイル |
| 時間 | 10:10～10:30 |
|---|---|
| 題目 | 3J1-OS7-5 Slice Samplingを用いたSAT技術による確率推論 |
| 著者 |
山口 雅博(東京工業大学大学院 情報理工学研究科) 佐藤 泰介(東京工業大学大学院 情報理工学研究科) 石畠 正和(東京工業大学大学院 情報理工学研究科) |
| 論文 | PDFファイル |
| 時間 | 10:45～11:05 |
|---|---|
| 題目 | 3J1-OS7-6 値変更コスト付き動的CSPの定式化とその解法 |
| 著者 |
波多野 大督(神戸大学大学院海事科学研究科) 平山 勝敏(神戸大学大学院海事科学研究科) |
| 論文 | PDFファイル |
| 時間 | 11:05～11:25 |
|---|---|
| 題目 | 3J1-OS7-7 Nelson-Oppen法を組み込んだSMTソルバの設計 |
| 著者 |
福田 寿志(山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻) 岩沼 宏治(山梨大学大学院医学工学総合研究部コンピュータ・メディア工学専攻担当) 山本 泰生(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |
| 時間 | 11:25～11:45 |
|---|---|
| 題目 | 3J1-OS7-8 SOLタブロー計算法に基づく命題論理の充足可能性判定器の実現 |
| 著者 |
鈴木 健士郎(山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |