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