Stella inattivaStella inattivaStella inattivaStella inattivaStella inattiva
 

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.


Accedi per commentare