氏名 | 鍋島 英知 |
---|---|
ふりがな | なべしま ひでとも |
所属 | 山梨大学大学院医学工学総合研究部 |
題目 | 1E1-R-1-2 結論発見システム SOLAR の分割統治法による高速化 |
---|---|
著者 | 寄特 勇紀 鍋島 英知 |
論文 | PDFファイル |
題目 | 1E3-OS-4-7 高速充足可能性判定器を用いた命題論理の結論発見器の実装 |
---|---|
著者 | 村松 匠 鈴木 健士郎 鍋島 英知 岩沼 宏治 |
論文 | PDFファイル |
題目 | 1E3-OS-4-4 学習節評価尺度LBDに基づく並列SATソルバーの提案 |
---|---|
著者 | 大橋 弘幸 鍋島 英知 |
論文 | PDFファイル |