Stella inattivaStella inattivaStella inattivaStella inattivaStella inattiva
 

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


Accedi per commentare