We unite you to solve
large scale SAT problems

User of the day

User profile Profile fthibaud0001
25 years in the computing business and now woodworker and shaman

Kin 154: WHITE SPECTRAL WIZARD
I dissolve in order to enchant

News

Competition 'Bienvenido, amigos!'
July 7, 2014, 12:30 UTC
Competition Bienvenido, amigos! will be held from July 12 2014 to July 17 2014.

Соревнование Bienvenido, amigos! будет проведено с 12 по 17 июля 2014 года.

a5_1_114_0 solved
June 9, 2014, 9:38 UTC
Problem a5_1_114_0 was solved by [AF>Libristes] Pascal from L'Alliance Francophone and Ralfy from BOINC Synergy.

Bivium10_2 solved
May 26, 2014, 5:59 UTC
Problem Bivium10_2 was solved by http://vk.com/boinc from Colombia and alnb from Russia Team.

Bivium10_1 solved
May 11, 2014, 8:51 UTC
Problem Bivium10_1 was solved by Pavel_Kirpichenko and Crystal Spirit.

Задача Bivium10_1 была решена Pavel_Kirpichenko и Crystal Spirit

Bivium10_0 solved
April 10, 2014, 8:09 UTC
Problem Bivium10_0 was solved by mi5rys and Alexandr Burnashev.

Задача Bivium10_0 была решена mi5rys и Alexandr Burnashev

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