, Institute for Systems Analysis of RAS, Moscow, Russian Federation

• Computer Science Vol. 13 No. 1 - Articles
  USING BOINC DESKTOP GRID TO SOLVE LARGE SCALE SAT PROBLEMS
  Abstract  PDF