NVIDIA CUDA Architecture-based Parallel Incomplete SAT Solver

@inproceedings{Wang2010NVIDIACA,
  title={NVIDIA CUDA Architecture-based Parallel Incomplete SAT Solver},
  author={Yandong Wang and James E. Heliotis},
  year={2010}
}
The contribution of this project is that it incorporated the advantage of the application of stochastic local search and genetic algorithm to the SAT solvers and the superior parallel computing capability of CUDA GPU, designed a highly efficient CUDA architecture-based incomplete SAT solver that couples cellular genetic algorithm and random walk local search. The measurement results by testing Uniform Random-3-SAT SAT benchmarks present that this novel SAT solver is able to give out an… CONTINUE READING