| 氏名 | 鍋島 英知 |
|---|---|
| ふりがな | なべしま ひでとも |
| 所属 | 山梨大学大学院医学工学総合研究部 |
| 題目 | 1D4-OS-02a-1 (OS招待講演)SAT ソルバーの最近の技術動向 |
|---|---|
| 著者 | 鍋島 英知 |
| 論文 | PDFファイル |
| 題目 | 1D4-OS-02a-3 SAT型制約ソルバーによるナンバーリンクの解法とその評価 |
|---|---|
| 著者 | 迫 龍哉 川原 征大 宋 剛秀 番原 睦則 田村 直之 鍋島 英知 |
| 論文 | PDFファイル |
| 題目 | 1D5-OS-02b-2 CDCLソルバーにおけるZDDを利用した節圧縮表現の導入 |
|---|---|
| 著者 | 後藤 優也 鍋島 英知 |
| 論文 | PDFファイル |