SAT@home - 5 nuove soluzionei nell'attuale esperimento
Nell'attuale esperimento, 5 nuove paia di diagonali ortogonali di quadrati latini di ordine 10 sono state trovate da:
Nell'attuale esperimento, 5 nuove paia di diagonali ortogonali di quadrati latini di ordine 10 sono state trovate da:
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.