Efficient Implementation of Parallel SAT Solver Based Stochastic Local Search
Publisher: Nova Science Publishers, Incorporated
Published: 2020
Language: eng
Number of pages: 88
ISBN-13: 9781536170016