Журнал ИМТ Цитируемый авторПерсона

Dovier A.

http://libmeta.ru/resource/imt/cited_author/Dovier_A

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

← автор · 1

CUD@SAT: SAT Solving on GPUs