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 analyze Bivium cipher (weakened version of Trivium cipher). 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 Murphy.cz Czechoslovak SF and F, web games, translating
News Bivium10_0 solved April 10, 2014, 8:09 UTC Problem Bivium10_0 was solved by mi5rys and Alexandr Burnashev. Задача Bivium10_0 была решена mi5rys и Alexandr Burnashev Competition 'Bivium cipher can not stand' March 25, 2014, 6:33 UTC Competition Bivium cipher can not stand will be held from April 1 to April 8. Соревнование Bivium cipher can not stand будет проведено с 1 по 8 апреля. Bivium14_0 solved March 25, 2014, 6:29 UTC Problem Bivium14_0 was solved by madx and kunzea. Задача Bivium14_0 была решена madx и kunzea Bivium14_1 solved March 17, 2014, 9:03 UTC Problem Bivium14_1 was solved by Crystal Spirit and Shaman. Задача Bivium14_1 была решена Crystal Spirit и Shaman 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 ...more News is available as an RSS feed .

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 analyze Bivium cipher (weakened version of Trivium cipher).

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

About

Join SAT@home

Information for participants

Community

User of the day

News