Журнал ИМТ
Цитируемая работаПубликацияДокумент
NVIDIA CUDA Architecture-based Parallel Incomplete SAT Solver
http://libmeta.ru/resource/imt/cited_1271
Данные
| sourceNote | cs.rit.edu. |
| год | 2010 |
| language | en |
| bibliographicCitation | Wang Y. NVIDIA CUDA Architecture-based Parallel Incomplete SAT Solver - 2010 - cs.rit.edu. |
автор
Входящие связи
← цитирует · 1
← ссылается на · 1