IMT journal
Cited workPublicationDocument
Parallelization of SAT Algorithms on GPUs
http://libmeta.ru/resource/imt/cited_1359
Данные
| sourceNote | Technical report, INESC-ID, Technical University of Lisbon. 2013. |
| year | 2013 |
| language | en |
| bibliographicCitation | Costa C.S. Parallelization of SAT Algorithms on GPUs. Technical report, INESC-ID, Technical University of Lisbon. 2013. |
author
Входящие связи
← references · 1