Title: Efficient Implementation of Parallel SAT Solver Based Stochastic Local Search
Subjects: Computer science