2009 Fiscal Year Final Research Report
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
|
| 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.
|
