MathLib
LibMeta
Graph RAG
Лаборатория
Блог
О проекте
Команда
RU
EN
LibMeta
/
Stamminger M.
Журнал ИМТ
Цитируемый автор
Персона
Stamminger M.
http://libmeta.ru/resource/imt/cited_author/Stamminger_M
Входящие связи
← автор · 1
3-SAT on CUDA: Towards a Massively Parallel SAT Solver