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

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

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

Конкурс: А 2015

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

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

URL:

Описание:

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