SAT@home

SAT@home - исследовательский проект, использующий соединяемые через сеть Интернет компьютеры для решения трудных и практически важных задач (обращения дискретных функций, дискретной оптимизации, биоинформатики и т.д.), которые могут быть эффективно сведены к задаче о выполнимости булевых формул. На данный момент в проекте решаются задачи поиска ортогональных пар диагональных латинских квадратов порядка 9 и 10. В ближайшем будущем мы надеемся найти тройку взаимно ортогональных латинских квадратов порядка 10 либо доказать отсутствие такой тройки. Проект был реализован с использованием билиотеки DC-API.

• Институт динамики систем и теории управления Сибирского отделения РАН, лаборатория Дискретного анализа и прикладной логики - участник Международной федерации гридов из персональных компьютеров
• Институт системного анализа РАН, лаборатория Распределенных вычислений - участник Международной федерации гридов из персональных компьютеров

• Website: http://sat.isa.ru/pdsat/
• Join to team: Ukraine

• First seen on: 2011-10-14
• Date of completion: <font color="green"><strong>Project is Active</strong></font>