Журнал ИМТ
Цитируемая работаПубликацияДокумент
Scalable parallel solver of Boolean satisfiability problems
http://libmeta.ru/resource/imt/cited_1545
Данные
| sourceNote | 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), Opatija, 2018. Pp. 0222-0227. DOI: 10.23919/MIPRO.2018.8400042 |
| год | 2018 |
| language | en |
автор
Входящие связи
← цитирует · 2