| Presentation | 2007-05-31 A Parallel SAT Solver for Multi-Core Processor Environment Akihide TAKAMI, Koji IWANUMA, Hidetomo NABESHIMA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this paper, we propose a new parallel SAT solver based on the fastest sequential SAT solver "MINI-SAT" for a multi-core processor environment. Our solver consists of multi-processes. Each process executes a SAT solver which solves the same SAT problem using different search strategy parameters. Each process executes a SAT solver which solves the same SAT problem using different search strategy parameters and shares learned clauses each other for pruning redundant search space. The experimental result showed that our solver using 2-CPUs is approximately two times faster than -1-CPU, and 4-CPUs can solve two SAT problems which can not be solved by 1-CPU within a certain time limit. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | SAT / parallel processing / multi-core environment / sharing learnt clauses |
| Paper # | AI2007-2 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 2007/5/24(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Parallel SAT Solver for Multi-Core Processor Environment |
| Sub Title (in English) | |
| Keyword(1) | SAT |
| Keyword(2) | parallel processing |
| Keyword(3) | multi-core environment |
| Keyword(4) | sharing learnt clauses |
| 1st Author's Name | Akihide TAKAMI |
| 1st Author's Affiliation | Computer Science and Media Engineering, Master's Course, Graduate School of Medical and Engineering Science Department of Education, University of Yamanashi() |
| 2nd Author's Name | Koji IWANUMA |
| 2nd Author's Affiliation | Graduate School of Medical and Engineering Science Department of Research, University of Yamanashi |
| 3rd Author's Name | Hidetomo NABESHIMA |
| 3rd Author's Affiliation | Graduate School of Medical and Engineering Science Department of Research, University of Yamanashi |
| Date | 2007-05-31 |
| Paper # | AI2007-2 |
| Volume (vol) | vol.107 |
| Number (no) | 78 |
| Page | pp.pp.- |
| #Pages | 5 |
| Date of Issue | |