SAT@home

Nell'attuale esperimento, il secondo paio di diagonali ortogonali di un quadro latino di ordine 10 è stato trovato da quel del team Sicituradastra e tanos dal team Astronomy.Ru

Report di Zaikin O., Semenov A., Posypkin M.A. Procedure di costruzione di decomposizione di serie per la risoluzione distribuita di problemi SAT nel progetto di calcolo volontario SAT@home sono state presentate alla conferenza PACO'2012 a Mosca il 24 ottobre.

Nell'attuale esperimento il primo paio di diagonali ortogonali di un quadrato latino di ordine 10 è stato trovato da tanos del team Astronomy.ru Forum e notnA del team Crystal Dream

La pagina con il progresso delle ricerche è stata aggiunta da hoarfrost.

Il challenge su SAT@home Happy baker dozen' inizierà il 29 ottobre 2012.

Il progetto è migrato su un nuovo server. Configurazione: 2 CPU Xeon5620, piattaforma SR1690WBR, 24 GB RAM, 2 HDD 1TB in RAID. Il server è locato all'ISA RAS, Mosca