Журнал ИМТ
Цитируемая работаПубликацияДокумент
HordeQBF: A Modular and Massively Parallel QBF Solver
http://libmeta.ru/resource/imt/cited_856
Данные
| sourceNote | Proceedings of 19th International Conference, Bordeaux, France, LNCS. 2016. Vol. 9710. pp. 531-538. DOI 10.1007/978-3-319-40970-2_33. |
| год | 2016 |
| language | en |
автор
Входящие связи
← цитирует · 2