IMT journal Cited workPublicationDocument

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

author

Meyer Q. Schonfeld F. Stamminger M.

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

← cites · 1

← references · 1