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.