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.
展开▼
