Журнал ИМТ ПонятиеКлючевое слово

параллельный qbf решатель

http://libmeta.ru/resource/imt/kw_690177699

Входящие связи

← тема · 1

ПАРАЛЛЕЛЬНАЯ РЕАЛИЗАЦИЯ ЛОГИЧЕСКОГО МЕТОДА РЕШЕНИЯ ЗАДАЧ КАЧЕСТВЕННОГО АНАЛИЗА …

← ключевое слово · 1

ПАРАЛЛЕЛЬНАЯ РЕАЛИЗАЦИЯ ЛОГИЧЕСКОГО МЕТОДА РЕШЕНИЯ ЗАДАЧ КАЧЕСТВЕННОГО АНАЛИЗА …