, Institute for System Dynamics and Control Theory of SB RAS, Irkutsk, Russian Federation

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