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

Руководитель: Кочемазов Степан Евгеньевич

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

Конкурс: А 2015

Номер: 15-07-07891
Номер ЦИТИС:

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

URL:

Описание:

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