SAT@home - Report dal PACO'2012
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.





