Журнал ИМТ
Цитируемая работаПубликацияДокумент
Boolean Satisfiability on a Graphics Processor
http://libmeta.ru/resource/imt/cited_330
Данные
| sourceNote | In Proceedings of the 20th Great Lakes Symposium on VLSI (GLSVLSI'10). 2010. Pp. 123–126. |
| год | 2010 |
| language | en |
| bibliographicCitation | Gulati K., Khatri S. P. Boolean Satisfiability on a Graphics Processor // In Proceedings of the 20th Great Lakes Symposium on VLSI (GLSVLSI'10). 2010. Pp. 123–126. |
автор
Входящие связи
← цитирует · 1
← ссылается на · 1