Budget Amount *help |
¥3,270,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥570,000)
Fiscal Year 2009: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2008: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2007: ¥800,000 (Direct Cost: ¥800,000)
|
Research Abstract |
We have studied a parallel execution system of multiple SAT solvers on a Java-based logic programming system. To evaluate our approach, we used the test case generation problems of combinatorial testing as benchmarks. In our experiments, we succeeded in proving the optimality of known bounds for three problems.
|