====== SAT@home ====== {{http://sat.isa.ru/pdsat/img/logo.png|SAT@home}} ===== Project Description ===== SAT@home - исследовательский проект, использующий соединяемые через сеть Интернет компьютеры для решения трудных и практически важных задач (обращения дискретных функций, дискретной оптимизации, биоинформатики и т.д.), которые могут быть эффективно сведены к задаче о выполнимости булевых формул. На данный момент в проекте решаются задачи поиска ортогональных пар диагональных латинских квадратов порядка 9 и 10. В ближайшем будущем мы надеемся найти тройку взаимно ортогональных латинских квадратов порядка 10 либо доказать отсутствие такой тройки. Проект был реализован с использованием билиотеки DC-API. FIXME ==== Author(s) ==== * Институт динамики систем и теории управления Сибирского отделения РАН, лаборатория Дискретного анализа и прикладной логики - участник Международной федерации гридов из персональных компьютеров * Институт системного анализа РАН, лаборатория Распределенных вычислений - участник Международной федерации гридов из персональных компьютеров FIXME ==== Credentials ==== * Website: **http://sat.isa.ru/pdsat/** * Join to team: **[[http://sat.isa.ru/pdsat/team_display.php?teamid=9|Ukraine]]** ==== Significant dates ==== * First seen on: **2011-10-14** * Date of completion: Project is Active ===== Features ===== ==== OSes & Applications ==== | | ParallelAndDistributedSATsolver | |Windows x86 | {{:ru:yes.gif|}} | |Linux x86 | {{:ru:yes.gif|}} | |Linux x86_64 | {{:ru:yes.gif|}} |