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