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

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

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

Конкурс: А 2014

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

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

URL:

Описание:

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