A Research on Minisat Using Coarse-grained Parallel Technique Based on Multi-core and Multi-platform

In this paper, we make a research on a widely-used SAT solver, Minisat, aiming to improve its performance using coarse-grained parallel method on multi-core and multi-platform. Firstly, we parallel the Minisat by mean of OpenMP and test its performance with different threads by running a test set consisting of 2000 SAT problems on an X86 computer. Besides, a scheduling strategy with time sequence is added to the process and achieves a better speed-up ratio. Then, we move the algorithm to an ARM computer and repeat the same process, finding that the performance of Minisat on X86 is better than that on ARM, but ARM platform has a better scale effect than X86 platform when running at full load and is able to perform better than X86 when they have the same hardware configuration.