IMT journal
Cited workPublicationDocument
NVIDIA CUDA Architecture-based Parallel Incomplete SAT Solver
http://libmeta.ru/resource/imt/cited_1271
Данные
| sourceNote | cs.rit.edu. |
| year | 2010 |
| language | en |
| bibliographicCitation | Wang Y. NVIDIA CUDA Architecture-based Parallel Incomplete SAT Solver - 2010 - cs.rit.edu. |
author
Входящие связи
← references · 1