Разработка параллельных алгоритмов решения проблемы булевой выполнимости (SAT) и их реализация в проектах добровольных вычислений
Руководитель: Семёнов Александр Анатольевич
Тип проекта: РФФИ
Конкурс: А 2014
Номер: 14-07-00403
Номер ЦИТИС:
Дата начала:
Дата завершения:
URL:
Описание: