- Project Update
- SAT: I solved one!
- SAT@Home: New solution
- SAT@Home: New experiment
- SAT@Home: New server application
- SAT@Home: New section, new solution
- SAT@Home: ISDCT SB RAS - member of IDGF
- SAT@Home: New solution
- SAT@Home: New solution
- SAT@Home: New solution
- SAT@Home: New solution
- SAT@Home: New paper, Additional solution
- SAT@Home: New solution
- SAT@Home: New solution
- SAT@Home: New solution
- SAT@Home: New solution
- SAT@Home: New version of application. New experiment
- SAT@Home: SAT@home in Euro Crunch 2012. Post in Science Springs
- SAT@Home: SAT@home in Euro Crunch 2012. Post in Science Springs
- SAT@Home: Conference Grid'2012 in Dubna
- SAT@Home: New solutions in current experiment
- SAT@Home: Countries and total hosts staticstics
- SAT@Home: New experiment - diag10_2
- SAT@Home: Report at Sibecrypt'2012
- SAT@Home: Diagrams with countries staticstics
- SAT@Home: Version 3.01 released
- SAT@Home: New server
- SAT@Home: Page with research progress
- SAT@Home: Report at PACO'2012
- SAT@Home: Challenge 'Happy 'baker's dozen'
- SAT@Home: First solution in new experiment
- SAT@Home: Second solution in the new experiment
- SAT@Home: Historical maximum of performance
- SAT@Home: Paper in materials of PACO'2012 conference
- SAT@Home: Version 3.02 of application
- SAT@Home: Oleg Zaikin received President of Russian Federation grant
- SAT@Home: Paper in
- SAT@Home: Three new solutions in the new experiment
- SAT@Home: 2 new papers about searching decompisitions for SAT@home
- SAT@Home: Challenge 'On halfway'
- SAT@Home: 5 new solutions in the current experiment
- SAT@Home: 3 new solutions
- SAT@Home: Challenge '80 por ciento pasaron. Primero en llegar a 100'
- SAT@Home: SAT@home - candidate for BOINC Pentathlon
- SAT@Home: Experiment aimed at finding triple of MOLS will be launched soon.
- SAT@Home: New application. Version for windows_x86_x64.
- SAT@Home: Experiment aimed at finding triple of MOLS was launched.
- SAT@Home: Progress bar for new experiment.
- SAT@Home: Version 3.12 released. Progress-bar updated
- SAT@Home:
- SAT@Home: SAT@home at SAT-2013 conference
- SAT@Home: New maximum of performance
- SAT@Home: Version 3.14 released
- SAT@Home: Version 3.15 released
- SAT@Home: Bug in 3.15 was found. Bugfix version 3.16 released
- SAT@Home: New paper about searching decompositions for SAT@home
- SAT@Home: 4 new solutions in the experiment for diagonal Latin squares
- SAT@Home: Last WUs from diag10_2 were processed
- SAT@Home: New maximum of performance during challenge
- SAT@Home: Version 3.17 released
- SAT@Home: Reports about SAT@home on BOINC:FAST conference
- SAT@Home: Version 3.18 released
- SAT@Home: Results of the current experiment were posted
- SAT@Home: Publication of source code
- SAT@Home: Status beta
- SAT@Home: Waiting for a new experiment
- SAT@Home: New experiment - weakened Bivium
- Credit's revamped at SAT
- No SAT, no operator, no space on disk.