A Prolog-Based Parallel Execution System for Multiple SAT Solvers
| Project/Area Number |
19700025
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
BANBARA Mutsunori Kobe University, 学術情報基盤センター, 准教授 (80290774)
|
|---|
| Project Period (FY) |
2007 – 2009
|
| Project Status |
Completed (Fiscal Year 2009)
|
| 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)
|
|---|
| Keywords | Prolog / SAT / 制約充足問題 / 論理プログラミング / 並列計算 |
|---|
| 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.
|
Report
(4 results)
Research Products
(30 results)
