SAT@home - исследовательский проект, использующий соединяемые через сеть Интернет компьютеры для решения трудных и практически важных задач (обращения дискретных функций, дискретной оптимизации, биоинформатики и т.д.), которые могут быть эффективно сведены к задаче о выполнимости булевых формул.
подключайте свои компьютеры к исследовательскому проекту SAT@home
Страница: 1
Сообщений 1 страница 1 из 1
Поделиться1Пятница, 3 мая, 2013г. 17:37
- magister wandal marshal claude ronald gerard
- Откуда: London-Paris-New-York-Milano
- Зарегистрирован: Воскресенье, 31 января, 2010г.
- Приглашений: 0
- Сообщений: 25029
- Уважение: +1032
- Позитив: +673
- Пол: Мужской
- Возраст: 49 [1974-11-28]
- Провел на форуме:
9 месяцев 1 день - Последний визит:
Вчера 02:39
Страница: 1
