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 Status: Beta 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 Steve Dodd Crunching for The Planetary Society since May, 1999. Love chasing after badges and RAC :) All the while trying to help worthwhile BOINC projects.
News First result in the experiment for Bivium February 24, 2014, 5:56 UTC First result in the current experiment was obtained by Retupmoc and dimawalker. Первые результаты текущего эксперимента были получены Retupmoc и dimawalker New experiment - weakened Bivium February 11, 2014, 10:32 UTC Experiment aimed at solving weakened cryptanalysis problems for Bivium cipher was launched. Запущен эксперимент, направленный на решение ослабленных задач криптоанализа шифра Bivium. Waiting for a new experiment January 29, 2014, 9:59 UTC In the current experiment all workunits were generated. New experiment is coming soon. One's goal is to analyze cryptographic cipher Bivium. В текущем эксперименте сгенерированы все задания. Скоро будет запущен новый эксперимент. Его цель - анализ криптографического шифра Bivium. Status beta January 23, 2014, 9:45 UTC Status of the project was changed from alpha to beta. Статус проекта был изменен с alpha на beta. Publication of source code November 11, 2013, 7:25 UTC Source code of client and server software was published on github. Исходный код клиентского и серверного ПО был выложен на github. ...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

Status: Beta

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

Steve Dodd
Crunching for The Planetary Society since May, 1999. Love chasing after badges and RAC :) All the while trying to help worthwhile BOINC projects.

News

First result in the experiment for Bivium
February 24, 2014, 5:56 UTC
First result in the current experiment was obtained by Retupmoc and dimawalker.

Первые результаты текущего эксперимента были получены Retupmoc и dimawalker
New experiment - weakened Bivium
February 11, 2014, 10:32 UTC
Experiment aimed at solving weakened cryptanalysis problems for Bivium cipher was launched.

Запущен эксперимент, направленный на решение ослабленных задач криптоанализа шифра Bivium.
Waiting for a new experiment
January 29, 2014, 9:59 UTC
In the current experiment all workunits were generated. New experiment is coming soon. One's goal is to analyze cryptographic cipher Bivium.

В текущем эксперименте сгенерированы все задания. Скоро будет запущен новый эксперимент. Его цель - анализ криптографического шифра Bivium.
Status beta
January 23, 2014, 9:45 UTC
Status of the project was changed from alpha to beta.

Статус проекта был изменен с alpha на beta.
Publication of source code
November 11, 2013, 7:25 UTC
Source code of client and server software was published on github.

Исходный код клиентского и серверного ПО был выложен на github.
...more

News is available as an RSS feed RSS .