Please use this identifier to cite or link to this item:
http://hdl.handle.net/10263/6447| Title: | A study on nvidia CUDA architecture and implementation of parallel SAT solver |
| Authors: | Dash, Ashis Kumar |
| Keywords: | CUDA architecture Parallel SAT solver CNF |
| Issue Date: | 2011 |
| Publisher: | Indian Statistical Institute, Kolkata |
| Citation: | 44p. |
| Series/Report no.: | Dissertation;2011-290 |
| Description: | Dissertation under the supervision of Prof. Nabanita Das, ACM Unit |
| URI: | http://hdl.handle.net/10263/6447 |
| Appears in Collections: | Dissertations - M Tech (CS) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| DISS-290.pdf | Dissertation is the original PDF | 606.52 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.