Solving One Million Sudoku Puzzles per hour