We unite you to solve
large scale SAT problems

User of the day

User profile Profile Beyond
I'm retired and DC is one of my hobbies along with marathon canoe racing and XC skiing. In the work world was a network manager and most recently a...

News

Server was restored
December 17, 2014, 8:53 UTC
Server of the project was offline for 3 days because of hardware problems. Recently these problems were fixed.

Сервер проекта был недоступен 3 дня из-за проблем с аппартаным обеспечением. К настоящему моменту проблемы были решены.

Fixed credit system was launched
December 12, 2014, 13:14 UTC
Fixed credit system was launched. In the current experiment 130 credits are granted for each WU.

Запущена система с фиксированными кредитами. В текущем эксперименте за каждый WU выдается 130 кредитов.

New paper about solving cryptanalysis problems for some stream ciphers in the SAT@home project
Nobember 21, 2014, 4:40 UTC
Paper Alexander Semenov, Oleg Zaikin and Ilya Otpuschennikov. Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks. arXiv:1411.5433 [cs.DC] was published on arxiv.

Статья Alexander Semenov, Oleg Zaikin and Ilya Otpuschennikov. Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks. arXiv:1411.5433 [cs.DC] была опубликована на arxiv.

Crowdfunding project of Russia Team
November 7, 2014, 5:52 UTC
Russia Team decided to help SAT@home by creating powerful team PC. Crawdfunding project was created for this purpose.

Команда Russia Team решила поддержать SAT@home путем создания мощного вычислительного командного компьютера. С этой целью создан краудфандинговый проект для сбора средств.

Competition 'SAT@home. Three years with the project.'
October 23, 2014, 6:06 UTC
Competition SAT@home. Three years with the project. will be held from November 3 2014 to November 10 2014.

Соревнование SAT@home. Три года с проектом. будет проведено с 3 по 10 ноября 2014 года.

...more

News is available as an RSS feed RSS.





Copyright © 2014 Institute for System Dynamics and Control Theory of SB RAS and Institute for Information Transmission Problems of RAS