Журнал ИМТ
Цитируемая работаПубликацияДокумент
Parallelization of SAT Algorithms on GPUs
http://libmeta.ru/resource/imt/cited_1359
Данные
| sourceNote | Technical report, INESC-ID, Technical University of Lisbon. 2013. |
| год | 2013 |
| language | en |
| bibliographicCitation | Costa C.S. Parallelization of SAT Algorithms on GPUs. Technical report, INESC-ID, Technical University of Lisbon. 2013. |
автор
Входящие связи
← цитирует · 1
← ссылается на · 1