Журнал ИМТ
Цитируемая работаПубликацияДокумент
CUD@SAT: SAT Solving on GPUs
http://libmeta.ru/resource/imt/cited_471
Данные
| sourceNote | JETAI (Journal of Experimental & Theoretical Artificial Intelligence). 2015. V.27. Issue 3. Pp. 293-316. |
| год | 2015 |
| language | en |
| bibliographicCitation | Dal Palù, Dovier A., Formisano A., and Pontelli E. CUD@SAT: SAT Solving on GPUs // JETAI (Journal of Experimental & Theoretical Artificial Intelligence). 2015. V.27. Issue 3. Pp. 293-316. |
Входящие связи
← цитирует · 1
← ссылается на · 1