We unite you to solve
large scale SAT problems

User of the day

User profile Profile [AF>France>Est] Maaanu
Bonjour,

Manu, membre de L'Alliance Francophone

News

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 года.

Version 2.02 of pdsat_crypto released
October 14, 2014, 6:12 UTC
Выпущено приложение pdsat_crypto версии 2.02. Ускорен процесс решения на задачах криптоанализа Bivium примерно на 15 %.

Version 2.02 of the application pdsat_crypto released. Performance on Bivium problem was increased by about 15%.

Six a5_1_114_* instances were solved
September 29, 2014, 14:12 UTC
Instance a5_1_114_5 solved by toest from TSC! Russia, Winer from BOINC RUSSIA

Instance a5_1_114_6 solved by Lavoler from Russia Team, ChertseyAl

Instance a5_1_114_7 solved by Crystal Spirit from Crystal dream, mi5rys from Crystal Dream

Instance a5_1_114_8 solved by morgan from Team Norway, Igo Centrical from Russia Team

Instance a5_1_114_9 solved by Shurale from Astronomy.Ru forum, Shaman from Czech National Team

Instance a5_1_114_10 solved by Grey from Russia, Mixa from Russia Team, Владимир from TSC! Russia, plumbum from Russia Team.

...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