Study of High Level Functional Logic Elements for High Performance Automated Reasoning Systems
| Project/Area Number |
22650028
|
|---|
| Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
FUJITA Hiroshi 九州大学, 大学院・システム情報科学研究院, 准教授 (70284552)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
HASEGAWA Ryuzo 九州大学, 大学院・システム情報科学研究院, 教授 (20274483)
KOSHIMURA Miyuki 九州大学, 大学院・システム情報科学研究院, 助教 (30274492)
|
|---|
| Project Period (FY) |
2010 – 2012
|
| Project Status |
Completed (Fiscal Year 2012)
|
| Budget Amount *help |
¥3,470,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥570,000)
Fiscal Year 2012: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2011: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2010: ¥1,000,000 (Direct Cost: ¥1,000,000)
|
|---|
| Keywords | 探索 / 推論アルゴリズム / 論理 / 探索・論理・推論アルゴリズム / 自動推論 / 論理素子 / FPGA / Verilog / SATソルバー / MGTP |
|---|
| Research Abstract |
We studied the problems about difficulties of current computing systems in developing high performance automated reasoning systems, considered the possibilityof logic elements that realize higher level functions directly and efficiently, and obtained some useful findings. We also obtained several remarkable results of case studies
|
Report
(4 results)
Research Products
(70 results)
-
-
-
-
[Journal Article]2012
Author(s)
鍋島 英知,越村 三幸,番原 睦則
-
Journal Title
コンピュータソフトウェア
Volume: Vol.29, No.4
Pages: 9-14
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
