IMT journal Cited workPublicationDocument

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.
year	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.

author

Gulati K. Khatri S.P.

Входящие связи

← cites · 1

← references · 1