A study on nvidia CUDA architecture and implementation of parallel SAT solver
No Thumbnail Available
Files
Date
2011
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Indian Statistical Institute, Kolkata
Abstract
Description
Dissertation under the supervision of Prof. Nabanita Das, ACM Unit
Keywords
CUDA architecture, Parallel SAT solver, CNF
Citation
44p.