Журнал ИМТ
Цитируемая работаПубликацияДокумент
3-SAT on CUDA: Towards a Massively Parallel SAT Solver
http://libmeta.ru/resource/imt/cited_7
Данные
| sourceNote | High Performance Computing and Simulation (HPCS). 2010. Pp. 306-313. |
| год | 2010 |
| language | en |
| bibliographicCitation | Meyer Q., Schonfeld F., Stamminger M. et al. 3-SAT on CUDA: Towards a Massively Parallel SAT Solver // High Performance Computing and Simulation (HPCS). 2010. Pp. 306-313. |
Входящие связи
← цитирует · 1
← ссылается на · 1