IMT journal
Document segmentKeyword list
49_2
http://libmeta.ru/resource/imt/seg/49_2
Fragment text
двоичная динамическая система; булева модель; параллельный qbf решатель; качественный анализ
Данные
| hasConfidence | 1.0 |
| hasOrderIndex | 2 |
| wasManuallyVerified | false |
extractedFrom
generatedBy
mentions concept
Входящие связи