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

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

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

Конкурс: А 2014

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

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

URL:

Описание:

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