In this project, we develops new techniques and used them to modify the program Checker (written by Gary McGuire). We successfully reduced the total expected computation time from 300,000 years per core to 2,417 years per core. This makes it more feasible and reasonable to use BOINC to solve Sudoku. Some of these new techniques are described in a paper in the IWCG Workshop of TAAI 2010 conference.
Topic you are watching