| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2021: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2020: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2019: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2018: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Outline of Final Research Achievements |
The rapid development of parallel computers and high performance algorithms has found countless applications in recent years. Formalizing a problem in logic, and then solving the formalized problem has proven to be a particularly powerful approach. The basic goals of this research project were (1) developing parallel logic solvers (in particular for QBF) and (2) applying these logic solvers to mathematical questions via finite model theory.
The main results were (1) development of an initial parallel logic solver cmdqbf, (2) development of a framework for applying QBF solvers via finite model theory (currently under preparation for releasing) and (3) initially unplanned application of logic solvers to questions in computational geometry.
|
