Efficient Implementation of Parallel SAT Solver Based Stochastic Local Search - Saed Abed (Novinka, 2020)
Keywords: Computer Science; Computer programs.,Computer software; COMPUTERS