We unite you to solve
large scale SAT problems

User of the day

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





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