量的情報流解析のための投射モデル計数ソルバの開発
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-17K00098 |
|---|---|
| 研究種目 | 基盤研究(C) |
| 研究分野 | 総合系 情報学 計算基盤 ソフトウェア |
| 研究機関 | 名古屋大学 |
| 代表研究者 | 橋本 健二 |
| 研究期間 開始年月日 | 2017/4/1 |
| 研究期間 終了年度 | 2020 |
| 研究ステータス | 完了 (2020/4/1) |
| 配分額（合計） | 4,550,000 (直接経費 :3,500,000、間接経費 :1,050,000) |
| 配分額（履歴） |
2019年度：1,040,000 (直接経費 :800,000、間接経費 :240,000) 2018年度：1,300,000 (直接経費 :1,000,000、間接経費 :300,000) 2017年度：2,210,000 (直接経費 :1,700,000、間接経費 :510,000) |
| キーワード | 投射モデル計数 量的情報流解析 BDD 阻止節 変数順序 d-DNNF 成分キャッシュ |