Return to Article Details USING BOINC DESKTOP GRID TO SOLVE LARGE SCALE SAT PROBLEMS Download Download PDF