Skip Navigation Links

Новости BOINC-проектов

Поиск
Имя автора содержит:Текст содержит:Год:

16 ноября 2011 г. AlexA#865

Первые успехи российского проекта SAT@home


В ходе работы проекта SAT@home была решена SAT-задача №1 для генератора A5/1. Это заняло 29 дней, первые 23 в активном режиме (65207 результатов), последние 6 - в неактивном (329 результатов). Найдены два выполняющих набора. Получен интересный опыт одновременной работы проекта по двум экспериментам.

В текущем эксперименте успешно найден первый выполняющий набор для второй SAT-задачи по генератору A5/1.


      Обсуждение проекта ...