Журнал ИМТ
Фрагмент документаПодпись
124_8
http://libmeta.ru/resource/imt/seg/124_8
Текст фрагмента
Рис. 0. Web -форма сервиса. Вычислительные эксперименты. С помощью вышеописанного сервиса был проведен ряд экспериментов по сравнению быстродействия различных SAT -решателей.
Данные
| hasConfidence | 0.9 |
| hasEndOffset | 12752 |
| hasLabel | Рис. |
| hasOrderIndex | 8 |
| hasStartOffset | 12578 |
| wasManuallyVerified | false |
extractedFrom
generatedBy
фрагмент статьи
Входящие связи
← содержит фрагмент · 1