Разработка параллельных алгоритмов решения проблемы булевой выполнимости (SAT) и их реализация в проектах добровольных вычислений

Руководитель: Семёнов Александр Анатольевич

Тип проекта: РФФИ

Конкурс: А 2014

Номер: 14-07-00403
Номер ЦИТИС:

Дата начала:
Дата завершения:

URL:

Описание:

По данному проекту в системе не зарегистрировано публикаций