2011 Sixth International Symposium on Parallel Computing in Electrical Engineering (2011)
Luton, United Kingdom
Apr. 3, 2011 to Apr. 7, 2011
NP Complete problems are one of the most complex problems in computer science but their vast applications in real world always pushes the scientists to explore new ways to solve them. We extended the original problem definition of Boolean Satisfiability Problem to finding all satisfiable solutions of a given problem instance and used massively parallel architecture of CUDA (Compute Unified Device Architecture) for reducing its run time. Certainly, exponential time complexity of this NP Complete problem can't be so easily reduced to polynomial time but through our implementation it can be well challenged for sufficiently large number of inputs. Our fully optimized implementation attained speedup ranging from 19x to 188x on Nvidia Ge Force GTX 260 for different type of SAT problems.
CUDA, GPU, NP-Complete problems, Parallel Processing, SAT, Scalability
S. Singh, S. Islam, R. Tandon and A. Misra, "A Highly Scalable Solution of an NP-Complete Problem Using CUDA," 2011 Sixth International Symposium on Parallel Computing in Electrical Engineering(PARELEC), Luton, United Kingdom, 2011, pp. 93-98.