SAT@home

We unite you to solve large scale SAT problems
SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem. At the moment we are searching for triple of mutually orthogonal Latin squares of order 10. SAT@home founded by Institue for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Science, laboratory of Discrete Analysis and Applied Logic - a founding member of the International Desktop Grid Federation Institute for Information Transmission Problems of Russian Academy of Sciences, department of Distributed Computing - a founding member of the International Desktop Grid Federation About Project personnel Science FAQ Publications and materials Our grants Found solutions Source code Join SAT@home Read our rules and policies Download, install and launch BOINC client software When prompted, enter URL: http://sat.isa.ru/pdsat/ If you have any problems, get help here Information for participants Your account - view stats, modify preferences Teams - create or join a team Certificate Applications Server status Project performance Research progress Testing of GPU application Community Profiles User search Message boards Statistics Languages	User of the day Franciscus Borst Writer from Holland
News Publication of source code November 11, 2013, 7:25 UTC Source code of client and server software was published on github. Исходный код клиентского и серверного ПО был выложен на github. Results of the current experiment were posted October 20, 2013, 4:54 UTC Результаты текущего эксперимента выложены в разделе Найденные решения. Results of the current experiment were posted in the section Solutions. Version 3.18 released October 18, 2013, 4:25 UTC Выпущено приложение версии 3.18. В нем используется новая кодировка условия 'минимум 72 ортогональные ячейки между 2-ым и 3-им квадратами в искомой тройке'. Использование оперативной памяти сокращено примерно на 15 %. Version 3.18 of the application released. It uses a new variant of encoding of condition 'at least 72 orthogonal cells between 2nd and 3rd squares of the triple'. RAM usage reduced by about 15 %. Reports about SAT@home on BOINC:FAST conference October 18, 2013, 4:10 UTC На конференции BOINC:FAST, прошедшей в Петрозаводске с 9 по 13 сентября 2013 года, были представлены 3 доклада, посвященные SAT@home: про поиск латинских квадратов, про разработку и использование средства CluBORun и про разработку приложения для GPU. Тексты статей и видео докладов доступны на сайте конференции. 3 reports about SAT@home were presented on the conference BOINC:FAST which was held on 9-13 September in Petrozavodsk (Russia). Reports were focused on searching for Latin squares, develompent and using of tool CluBORun and develompent of application for GPU. Texts of the articles and video of the reports were published on site of the conference Version 3.17 released September 19, 2013, 14:56 UTC Выпущено приложение версии 3.17. В нем добавлено новое условие для текущей задачи - 'минимум 72 ортогональные ячейки между 2-ым и 3-им квадратами в искомой тройке'. Version 3.17 of the application released. New condition 'at least 72 orthogonal cells between 2nd and 3rd squares of the triple' was added for the current problem. ...more News is available as an RSS feed .

We unite you to solve
large scale SAT problems

SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem. At the moment we are searching for triple of mutually orthogonal Latin squares of order 10.

SAT@home founded by

Institue for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Science, laboratory of Discrete Analysis and Applied Logic - a founding member of the International Desktop Grid Federation
Institute for Information Transmission Problems of Russian Academy of Sciences, department of Distributed Computing - a founding member of the International Desktop Grid Federation

About

Join SAT@home

Read our rules and policies
Download, install and launch BOINC client software
When prompted, enter URL:
http://sat.isa.ru/pdsat/
If you have any problems, get help here

Information for participants

Community

User of the day

Franciscus Borst
Writer from Holland

News

Publication of source code
November 11, 2013, 7:25 UTC
Source code of client and server software was published on github.

Исходный код клиентского и серверного ПО был выложен на github.
Results of the current experiment were posted
October 20, 2013, 4:54 UTC
Результаты текущего эксперимента выложены в разделе Найденные решения.

Results of the current experiment were posted in the section Solutions.
Version 3.18 released
October 18, 2013, 4:25 UTC
Выпущено приложение версии 3.18. В нем используется новая кодировка условия 'минимум 72 ортогональные ячейки между 2-ым и 3-им квадратами в искомой тройке'. Использование оперативной памяти сокращено примерно на 15 %.

Version 3.18 of the application released. It uses a new variant of encoding of condition 'at least 72 orthogonal cells between 2nd and 3rd squares of the triple'. RAM usage reduced by about 15 %.
Reports about SAT@home on BOINC:FAST conference
October 18, 2013, 4:10 UTC
На конференции BOINC:FAST, прошедшей в Петрозаводске с 9 по 13 сентября 2013 года, были представлены 3 доклада, посвященные SAT@home: про поиск латинских квадратов, про разработку и использование средства CluBORun и про разработку приложения для GPU. Тексты статей и видео докладов доступны на сайте конференции.

3 reports about SAT@home were presented on the conference BOINC:FAST which was held on 9-13 September in Petrozavodsk (Russia). Reports were focused on searching for Latin squares, develompent and using of tool CluBORun and develompent of application for GPU. Texts of the articles and video of the reports were published on site of the conference
Version 3.17 released
September 19, 2013, 14:56 UTC
Выпущено приложение версии 3.17. В нем добавлено новое условие для текущей задачи - 'минимум 72 ортогональные ячейки между 2-ым и 3-им квадратами в искомой тройке'.

Version 3.17 of the application released. New condition 'at least 72 orthogonal cells between 2nd and 3rd squares of the triple' was added for the current problem.
...more

News is available as an RSS feed RSS .