SAT@home

Due articoli sulle ricerche di decomposizione dei problemi SAT per le loro risoluzioni su SAT@home sono stati pubblicati sul Russian journal.

Il programmatore di SAT@home Oliver Zaikin ha rcvevuto un riconoscimento dal Presidente della Federazione RussaСП-1855.2012.5. Argomento della ricerca: "Sviluppo di risolutori distribuiti di grandi sistemi di equazioni booleane, la loro implementazione in un progetto di calcolo volontario e applicazione per la ricerca di complesse strutture discrete".

Nell'attuale esperimento, tre nuove paia di diagonali ortogonali di quadri latini di ordine dieci sono state trovate da: tanos del team Astronomy.Ru Forum e Tommy del team US NAVY; 288larsson del team Sicituradastra e [ESL Brigade] kill_4u_free del team Electronic Sports League (ESL); Ilex del team Crystal Dream e plumbum del Russia Team.

È stata rilasciata la versione 3.02 dell'applicazione. Il formato dei dati di output sono stati leggeremente modificati per necessità del server

Un nuovo articolo è stato pubblicato nel giornale scientifico.

Nella sezione Publications and materials, un nuovo articolo dai materiali del PACO'2012 è stato aggiunto.