A study on nvidia CUDA architecture and implementation of parallel SAT solver

Dash, Ashis Kumar2016-07-122016-07-12201144p.http://hdl.handle.net/10263/6447Dissertation under the supervision of Prof. Nabanita Das, ACM UnitenCUDA architectureParallel SAT solverCNFA study on nvidia CUDA architecture and implementation of parallel SAT solverThesis