Presentation | 2003/5/22 Consideration on parallel execution of SAT solvers Seiji UEDA, Satoshi UKAI, Katumi INOUE, Mutsunori BANDARA, Naoyuki TAMURA, Takao KAWAMURA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Recently, many SAT solvers has been proposed. There are many SAT problems which can be solved by some SAT solver quickly but by another SAT solver slowly. Thus we propose parallel execution of SAT solvers to solve many different SAT problems efficiently. We get higher perfomance by executing problems in parallel than by changing parameters of each SAT solvers. We use Prolog Cafe, which is a Prolog-to-Java source-to-source translator system as a platform. We can easily call a SAT solver written in Java on Prolog Cafe, and can execute many SAT solvers in parallel by multi-thread. We also consider a partially centerized method by partial assignment and a cooperative method by multiple SAT solvers. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | SAT solver / parallel execution / multi-thread |
Paper # | AI2003-8 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 2003/5/22(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) | Consideration on parallel execution of SAT solvers |
Sub Title (in English) | |
Keyword(1) | SAT solver |
Keyword(2) | parallel execution |
Keyword(3) | multi-thread |
1st Author's Name | Seiji UEDA |
1st Author's Affiliation | Graduate School of Science and Technology, Kobe University() |
2nd Author's Name | Satoshi UKAI |
2nd Author's Affiliation | Graduate School of Information Science, Nara Institute of Science and Technology |
3rd Author's Name | Katumi INOUE |
3rd Author's Affiliation | Department of Electrical and Electronics Engineering, Kobe University |
4th Author's Name | Mutsunori BANDARA |
4th Author's Affiliation | Information Science and Technology Center, Kobe University |
5th Author's Name | Naoyuki TAMURA |
5th Author's Affiliation | Department of Information and Knowledge Engineering, Tottori University |
6th Author's Name | Takao KAWAMURA |
6th Author's Affiliation | Department of Information and Knowledge Engineering, Tottori University |
Date | 2003/5/22 |
Paper # | AI2003-8 |
Volume (vol) | vol.103 |
Number (no) | 103 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |