Boolean Satisfiability on a Graphics Processor · LibMeta · SciLib
Журнал ИМТ Цитируемая работаПубликацияДокумент

Boolean Satisfiability on a Graphics Processor

http://libmeta.ru/resource/imt/cited_330

Данные

sourceNoteIn Proceedings of the 20th Great Lakes Symposium on VLSI (GLSVLSI'10). 2010. Pp. 123–126.
год2010
languageen
bibliographicCitationGulati 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.

автор