Параллельный поиск комбинаторных структур при помощи алгоритмов решения задачи о булевой выполнимости (SAT) в рамках вычислительных кластеров, grid-систем и проектов добровольных вычислений
Руководитель: Кочемазов Степан Евгеньевич
Тип проекта: РФФИ
Конкурс: А 2015
Номер: 15-07-07891
Номер ЦИТИС:
Дата начала:
Дата завершения:
URL:
Описание: